前: Simple Examples, 上: 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.