Define *

Author: benjie

spec/Appendix B -- Notation Conventions.md

@@ -138,6 +138,25 @@ Page_list :
 - Page_list Page
 - Page
 
+A subscript suffix "{Symbol\*}" is shorthand for a list of zero or more of that
+symbol, represented as an additional recursive production.
+
+As an example:
+
+Sandwich : Bread Filling\* Bread
+
+is shorthand for
+
+Sandwich :
+
+- Bread Filling_list Bread
+- Bread Bread
+
+Filling_list :
+
+- Filling_list Filling
+- Filling
+
 **Parameterized Grammar Productions**
 
 A symbol definition subscript suffix parameter in braces "{Symbol[Param]}" is