Adjust wording from the grammar

Author: matthewjasper

src/notation.md

@@ -10,15 +10,15 @@ productions.
 
 ## String table productions
 
-Some rules in the grammar — notably [unary operators], [binary operators],
-and [keywords] — are given in a simplified form: as a listing of a table
-of unquoted, printable whitespace-separated strings. These cases form a subset
-of the rules regarding the [token][tokens] rule, and are assumed to be the
-result of a lexical-analysis phase feeding the parser, driven by a
-<abbr title="Deterministic Finite Automaton">DFA</abbr>, operating over the
-disjunction of all such string table entries.
+Some rules in the grammar &mdash; notably [unary operators], [binary
+operators], and [keywords] &mdash; are given in a simplified form: as a listing
+of printable strings. These cases form a subset of the rules regarding the
+[token][tokens] rule, and are assumed to be the result of a lexical-analysis
+phase feeding the parser, driven by a <abbr title="Deterministic Finite
+Automaton">DFA</abbr>, operating over the disjunction of all such string table
+entries.
 
-When such a string enclosed in double-quotes (`"`) occurs inside the grammar,
+When such a string in `monospace` font occurs inside the grammar,
 it is an implicit reference to a single member of such a string table
 production. See [tokens] for more information.
 

src/tokens.md

@@ -3,7 +3,7 @@
 Tokens are primitive productions in the grammar defined by regular
 (non-recursive) languages. "Simple" tokens are given in [string table
 production] form, and occur in the rest of the
-grammar as double-quoted strings. Other tokens have exact rules given.
+grammar in `monospace` font. Other tokens have exact rules given.
 
 [string table production]: notation.html#string-table-productions