From: Mark Wooding Date: Wed, 16 May 2018 09:07:06 +0000 (+0100) Subject: doc/syntax.tex: Consistently use baseline-level ellipses in syntax. X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/cee29adc008fad567ab47162b54eeca1de2c5064?ds=sidebyside doc/syntax.tex: Consistently use baseline-level ellipses in syntax. --- diff --git a/doc/syntax.tex b/doc/syntax.tex index a1b650c..8030ee0 100644 --- a/doc/syntax.tex +++ b/doc/syntax.tex @@ -59,7 +59,7 @@ could be a token. ::= "0" | - ::= "1" | "2" $| \cdots |$ "9" + ::= "1" | "2" $| \ldots |$ "9" \end{grammar} The precise definition of @ is left to the function @@ -112,7 +112,7 @@ discouraged. ::= "0" @["o"|"O"@] @^+ - ::= "0" | "1" $| \cdots |$ "7" + ::= "0" | "1" $| \ldots |$ "7" ::= "0" @("x"|"X"@) @^+