src/grammar.md

# Grammar summary

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

{{ grammar-summary }}