From 58c2617bb184bcce2e2eee058c677356c4675575 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Sun, 31 May 2026 08:34:48 +0200
Subject: [PATCH] Remove backspace and bel escape sequences

---
 doc/appendix.tex |  6 +++---
 doc/language.tex | 19 +++++++++++++++++++
 2 files changed, 22 insertions(+), 3 deletions(-)

diff --git a/doc/appendix.tex b/doc/appendix.tex
index 0777d55..663f661 100644
--- a/doc/appendix.tex
+++ b/doc/appendix.tex
@@ -21,7 +21,7 @@
 
 <printable-character> = \enspace? a printable ASCII character\space?.
 
-<character> = <printable-character> | <escaped-character> | <hex-digit>.
+<character> = <printable-character> | <escaped-character> | <hex-character>.
 
 <identifier> = <letter> \{<letter> | <decimal-digit>\}.
 
@@ -38,10 +38,10 @@
 <real-literal> = <integer-literal> `.\@' <decimal-digit> \{<decimal-digit>\}
 	\alt{} <integer-literal>\} `e' [`+' | `-'] <decimal-digit> \{<decimal-digit>\}.
 
-<string-literal> = `\textquotedbl' \{<character>\} `\textquotedbl'.
-
 <character-literal> = `\textquotesingle' <character> `\textquotesingle'.
 
+<string-literal> = `\textquotedbl' \{<character>\} `\textquotedbl'.
+
 <literal> = <integer-literal> | <word-literal> | <real-literal>
 	\alt{} <string-literal> | <character-literal>
 	\alt{} `true' | `false' | `nil'.
diff --git a/doc/language.tex b/doc/language.tex
index f79e663..0bf1ca3 100644
--- a/doc/language.tex
+++ b/doc/language.tex
@@ -77,6 +77,25 @@ Examples:
 
 \section{Strings and characters}
 
+Single \textit{characters} are enclosed in single quotation marks
+(\textquotesingle).\@ \textit{Strings} are sequences of characters enclosed in
+double quotation marks (\textquotedbl). The number of characters in a string is
+called the \textit{the length} of the string.
+
+\begin{grammar}
+<hex-character> = `\\x' <hex-digit> <hex-digit>.
+
+<character> = <printable-character> | <escaped-character> | <hex-character>.
+
+<character-literal> = `\textquotesingle' <character> `\textquotesingle'.
+
+<string-literal> = `\textquotedbl' \{<character>\} `\textquotedbl'.
+\end{grammar}
+
+Alternatively, a single character may be represented by a
+\textit{escape sequence}, a character combination beginning with a
+backslash (\textbackslash).
+
 \section{Operators and delimiters}
 
 \section{Comments}