This section describes how to adjust alignment, and how to abbreviate some commands. Appendix C provides some illustrations; see also the examples given in the CASL Language Summary [CoF98], for which the input syntax and marked-up LaTeX sources are also available.