diff --git a/grammar/grammar.tex b/grammar/grammar.tex
index ad8ad66..c48c93b 100644
--- a/grammar/grammar.tex
+++ b/grammar/grammar.tex
@@ -55,7 +55,7 @@ The grammar for types (\t/) is given in the \texttt{type-system} document.
   <v> ::=
     \c/
     \alt \p/:\e/
-    \alt \{ \v/ = \e/; $\cdots{}$; \v/ = \e/; \}
+    \alt \{ \v/ = \e/; \} $\orthplus \cdots{} \orthplus$ \{ \v/ = \e/; \}
     \alt Cons(\e/, \e/) \| nil
 \end{grammar}
 \end{document}