2.8.6 Conventions for syntax

We use the following notation for defining syntax:

X Y	X followed by Y
X|Y	X or Y
[X]	X or empty
{X}	A possibly empty sequence of X's
X&Y	X or Y or X Y

``Followed by'' has greater binding power than | or &; parentheses are used to override this precedence rule. Non-terminals begin with an upper-case letter. Terminals are either keywords or quoted operators. The symbols Id, Number, TextLiteral, and CharLiteral are defined in the token grammar. Each production is terminated by a period. The syntax does not reflect the restrictions that revelations and exceptions can be declared only at the top level; nor does it include explicit productions for NEW, INC, and DEC, which parse like procedure calls.