Go backward to 188.8.131.52 Disjunction
Go up to 2.3.2 Logical Connectives
Go forward to 184.108.40.206 Equivalence
IMPLICATION ::= implication FORMULA FORMULA
An implication is written:
F1 => F2
The sign displayed as a double arrow in LaTeX
is input as `=>'.
An implication may also be written in reverse order:
F2 if F1
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to firstname.lastname@example.org