diff options
Diffstat (limited to 'doc/language.tex')
| -rw-r--r-- | doc/language.tex | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/doc/language.tex b/doc/language.tex index cce2fcb..36ee877 100644 --- a/doc/language.tex +++ b/doc/language.tex @@ -84,7 +84,7 @@ called the \textit{the length} of the string. \begin{grammar} <escaped-character> = `\\' \\ - (`n' | `a' | `b' | `t' | `f' | `r' | `v' | `\\' | `\textquotesingle' | `\textquotedbl' | `0'). + (`n' | `t' | `f' | `r' | `v' | `\\' | `\textquotesingle' | `\textquotedbl' | `0'). <hex-character> = `\\x' <hex-digit> \{<hex-digit>\}. @@ -106,10 +106,6 @@ beginning with a backslash (\textbackslash). \toprule \verb|\n| & Newline \\ \midrule - \verb|\a| & Bell \\ - \midrule - \verb|\b| & Backspace \\ - \midrule \verb|\t| & Horizontal tab \\ \midrule \verb|\f| & Form feed \\ |