Up Next
Go up to D Display Format
Go forward to D.2 Keywords

D.1 Mathematical Symbols

The input symbols in the following table are to be displayed as the mathematical symbols shown below them.
* -> forall exists /\ \/ => <=> not in . |-> lambda
× -> forall exists /\ \/ => <=> ¬ e · |-> \

When a mathematical symbol is not available (e.g., when browsing HTML on WWW) the input syntax for it may be displayed instead. Moreover, characters whose display format is in ISO Latin-1 may always be used for input. This allows the direct input of the symbols displayed as `¬ ', `×', and ` · ', and ensures that the text of a specification as shown by a WWW browser is valid input syntax (at least in the absence of display annotations).

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk

Up Next