Go backward to D.1 Mathematical Symbols
Go up to D Display Format
Go forward to D.3 Identifiers
Keywords are generally displayed in a boldface font:
sorts, ops, etc. Within a FORMULA, however,
they are displayed in the same font as identifiers:
if, true, false,
def, as, op, pred.
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to firstname.lastname@example.org