1.3 Conventions =============== This section explains the notation conventions that are used in this manual. You may want to skip this section and refer back to it later.
· Fonts · Evaluation Notation · Printing Notation · Error Messages · Format of Descriptions