The following is a summary of the grammar production rules. For details on the syntax of this grammar, see [notation.grammar.syntax].
{{ grammar-summary }}