From d9cd03ffeb13a5c30d8337ba27f15e1ba2959e4d Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Fri, 3 Jul 2026 10:23:50 +0200
Subject: Move the documentation from the old branch

---
 doc/appendix.tex | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'doc/appendix.tex')

diff --git a/doc/appendix.tex b/doc/appendix.tex
index 0777d55..09bdbde 100644
--- a/doc/appendix.tex
+++ b/doc/appendix.tex
@@ -14,14 +14,14 @@
 
 <binary-digit> = `0' | `1'.
 
-<hex-character> = `\\x' <hex-digit> <hex-digit>.
+<hex-character> = `\\x' <hex-digit> \{<hex-digit>\}.
 
 <escaped-character> = `\\' \\
-	(`n' | `a' | `b' | `t' | `f' | `r' | `v' | `\\' | `\textquotesingle' | `\textquotedbl' | `?\@' | `0').
+	(`n' | `t' | `f' | `r' | `v' | `\\' | `\textquotesingle' | `\textquotedbl' | `0').
 
 <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'.
-- 
cgit v1.2.3