From: Mark Wooding Date: Thu, 26 May 2016 08:26:09 +0000 (+0100) Subject: doc/syntax.tex: Fix wording error in description of . X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/c808d837f8b1a3baf4ba5871ddc3a82822de7f9e?ds=sidebyside doc/syntax.tex: Fix wording error in description of . Probably a cut-and-paste mistake. --- 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$}