Prev Up Next
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:

F1   <=>   F2
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

Prev Up Next