Link out to the notation from grammar summary

epage · epage · commit 62286c1d8e10 · 2025-09-04T12:05:36.000-05:00
As a reference, users are likely to jump in at random points and it can
then be hard to know where to look for information on grammars.

While it would likely be overkill to link to the notation wherever there
is a grammar, the grammary summary page seems like a reasonable place to
at least include a link.
diff --git a/src/grammar.md b/src/grammar.md
@@ -1,5 +1,7 @@
 # Grammar summary
 
-The following is a summary of the grammar production rules.
+The following is a summary of the [grammar production rules].
 
 {{ grammar-summary }}
+
+[grammar production rules]: notation.md
