Some commands provided by the CASL package correspond to constructs of the abstract syntax of CASL . These commands, listed in Appendix B, are designed for use in documents about CASL, and are not appropriate for general use in marking-up CASL specifications.
Some of the commands, such as \Total, have no arguments, and
are merely synonyms for other commands (here \tfun). These are
for use only in math mode (and within the environments casl,
BasicSpec, and SpecDefn).
The remaining commands, such as \OpDecl{...}{...}, are for use
only in text mode, and their arguments are always in math mode.
(The abstract commands were originally intended to be the primary means for marking up specifications using the CASL package, but they were found too tedious to write--especially when converting manually from CASL input syntax to LaTeX mark-up. A future version of the CASL package may provide a complete set of commands corresponding to the abstract syntax of CASL, for use by tools, if required.)