diff options
Diffstat (limited to 'doc/reference')
| -rw-r--r-- | doc/reference/ReferencePart.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/reference/ReferencePart.tex b/doc/reference/ReferencePart.tex index 848a4ba846..260053ef98 100644 --- a/doc/reference/ReferencePart.tex +++ b/doc/reference/ReferencePart.tex @@ -36,7 +36,7 @@ to the ASCII fragment \Urange{0000}{007F}. In Scala mode, \textit{Unicode escapes} are replaced by the corresponding Unicode character with the given hexadecimal code. \begin{lstlisting} -UnicodeEscape ::= \\{\\\\}u{u} HexDigit HexDigit HexDigit HexDigit +UnicodeEscape ::= \{\\}u{u} HexDigit HexDigit HexDigit HexDigit HexDigit ::= '0' | $\ldots$ | `9' | `A' | $\ldots$ | `F' | `a' | $\ldots$ | `f' | \end{lstlisting} To construct tokens, characters are distinguished according to the following classes |