Go backward to C Concrete Syntax
Go up to Top
Go forward to E Examples
D Display Format
This appendix indicates how each input symbol is to be displayed when
formatted for printing using LaTeX, as well as for web browsing using
HTML. A LaTeXpackage implementing this display format is
available [Mos98b].
CoFI
Document: CASL/Summary -- Version: 1.0 -- 22 July 1999.
Comments to cofi-language@brics.dk