From c808d837f8b1a3baf4ba5871ddc3a82822de7f9e Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Thu, 26 May 2016 09:26:09 +0100 Subject: [PATCH] doc/syntax.tex: Fix wording error in description of . Probably a cut-and-paste mistake. --- doc/syntax.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/syntax.tex b/doc/syntax.tex index 21f835e..15948cb 100644 --- a/doc/syntax.tex +++ b/doc/syntax.tex @@ -58,7 +58,7 @@ enough that they deserve special notation. \syntax{$x^*$ ::= $[x]$ ::= $\epsilon$ @! $[x]$ $x$} \end{quote} -\item $x^+$ abbreviates @$[x]$, denoting a sequence of zero or +\item $x^+$ abbreviates @$[x]$, denoting a sequence of one or more occurrences of $x$: \begin{quote} \syntax{$x^+$ ::= $[x]$ ::= $[x]$ $x$} -- 2.11.0