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-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to
cofi-language@brics.dk
