chiark / gitweb /
doc/concepts.tex: Typeset method rĂ´le names as identifiers.
[sod] / doc / refintro.tex
index ead5ace3bd0c9739089e0f9bae25ff13a581bf25..2d4dbedcf313a18933183a134e9af5ff063c6bbb 100644 (file)
@@ -95,8 +95,8 @@ Anywhere a simple nonterminal name $x$ may appear in the grammar, an
 left-hand side of a production rule, the indices $a_1$, \ldots, $a_n$ 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
-each possible simple nonterminal or terminal symbol.
+Such a rule stands for a family of rules, in which each variable is replaced
+by each possible simple nonterminal or terminal symbol.
 
 The letter $\epsilon$ denotes the empty nonterminal
 \begin{quote}