X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/blobdiff_plain/7b7947024fedb0bb7a0ea3ccb0029f6060de901b..b55c78560d60a17fb84428b187f9d65a1b375072:/src/sod-module.5 diff --git a/src/sod-module.5 b/src/sod-module.5 index 4417673..8e21b5d 100644 --- a/src/sod-module.5 +++ b/src/sod-module.5 @@ -106,7 +106,7 @@ are variables which vary over all nonterminal and terminal symbols, and the variables may also appear on the right-hand side in place of a nonterminal. Such a rule stands for a family of rules, -in each variable is replaced by +in which each variable is replaced by each possible simple nonterminal or terminal symbol. .PP The letter \*e denotes the empty nonterminal