Go backward to
2.3.2.3 Implication
Go up to
2.3.2 Logical Connectives
Go forward to
2.3.2.5 Negation
2.3.2.4 Equivalence
EQUIVALENCE ::= equivalence FORMULA FORMULA
An equivalence is written:
F
1
<=> F
2
The sign displayed as a double-headed double arrow in LaTeX is input as `
<=>
'.
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to
cofi-language@brics.dk
