E ExamplesTopC Concrete SyntaxD Display Format

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 [Mos98].

No restrictions are imposed concerning which font families are to be used for displaying CASL specifications.

  • D.1 Mathematical Symbols
  • D.2 Keywords
  • D.3 Identifiers
  • D.4 Comments and Annotations

  • CoFI Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.
    Comments to cofi-language@brics.dk

    E ExamplesTopC Concrete SyntaxD Display Format