This appendix is from the original documents presenting the CASL concrete syntax design proposal [BCKB+98].
It indicates how each input symbol might be displayed when formatted for printing using LaTeX. (Some mathematical symbols are simply displayed as the corresponding input symbols in this HTML version.)