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.