Each basic item (declaration, definition, axiom) in a CASL specification is marked up by enclosing it in \(...\), and
processed in math mode.
Mathematical symbols (reserved or not) are marked up
straightforwardly.2 Some new commands are provided for proper
formatting of special CASL symbols, such as \eeq for
` =e= '.
Boldface keywords are marked up as commands with the same spelling,
except that the first letter is put in uppercase, e.g., `assoc' is
marked up as \Assoc. For italic keywords (occurring in
formulae) all the letters are put in uppercase, e.g., `def' is marked
up as \DEF.
Special characters occurring in identifiers are marked up as usual in
LaTeX; note especially that each underline must be marked up
as \_ (since `_' indicates a subscript). Ordinary words
and numbers do not need any mark up at all.
Finally, spaces separating adjacent keywords and (alphanumeric)
identifiers have to be replaced by explicit spaces as in LaTeX:
~, or preceded by \.
Appendix A lists all the commands needed for marking up symbols, keywords, and special characters in basic items.