This chapter uses the following notation:
| separates two alternatives.
[ something ] indicates that something is optional: it may or may not be given.
( group )* means that group inside the parentheses may repeat zero or more times.
( group )+ means that group inside the parentheses may repeat one or more times.
"string" means a literal string.