From cee29adc008fad567ab47162b54eeca1de2c5064 Mon Sep 17 00:00:00 2001
Message-Id: <cee29adc008fad567ab47162b54eeca1de2c5064.1714913918.git.mdw@distorted.org.uk>
From: Mark Wooding <mdw@chiark.greenend.org.uk>
Date: Wed, 16 May 2018 10:07:06 +0100
Subject: [PATCH] doc/syntax.tex: Consistently use baseline-level ellipses in
 syntax.
Organization: Straylight/Edgeware

From: Mark Wooding <mdw@distorted.org.uk>

---
 doc/syntax.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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.
 
 <digit-char> ::= "0" | <nonzero-digit-char>
 
-<nonzero-digit-char> ::= "1" | "2" $| \cdots |$ "9"
+<nonzero-digit-char> ::= "1" | "2" $| \ldots |$ "9"
 \end{grammar}
 
 The precise definition of @<alpha-char> is left to the function
@@ -112,7 +112,7 @@ discouraged.
 
 <octal-integer> ::= "0" @["o"|"O"@] @<octal-digit-char>^+
 
-<octal-digit-char> ::= "0" | "1" $| \cdots |$ "7"
+<octal-digit-char> ::= "0" | "1" $| \ldots |$ "7"
 
 <hex-integer> ::= "0" @("x"|"X"@) @<hex-digit-char>^+
 
-- 
[mdw]