Previous: Simple Examples, Up: Introduction [Contents][Index]
This section explains the notational 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: |