Typographical conventions
The DemoII manuals comply with the following typographical conventions:
Normal text is written with a standard black Times font (sample). | |
Portions of programs are typewritten with a red non-proportional font (sample ). These parts are supposed to be typed verbatim
in a Prolog source file or at the command line. | |
Categorized object constituents, such as non-terminals in a grammar, are in blue italics surrounded by angular brackets (<sample>). | |
Object language constituents are in green, bold italics (sample). | |
Other mathematical (meta-)variables are in black italics (sample). | |
There is no special rule about capitalization. |
Notice that the styles described above should be distinguishable even if colors cannot be displayed.