Previous: Simple Examples, Up: Introduction
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.