Notation

For the grammar defining the syntax, terminals are always underlined while non-terminals and meta-symbols are not. Braces come in different variants and have the following meaning:

{ }	optional
{ }$^\ast$	arbitrarily often
{ }+	at least once