Use \literalterminal more.

Author: Eelis

source/lex.tex

@@ -449,7 +449,7 @@
 
 \begin{bnf}
 \nontermdef{named-universal-character}\br
-    \terminal{\textbackslash N\{} n-char-sequence \terminal{\}}
+    \literalterminal{\textbackslash N\{} n-char-sequence \literalterminal{\}}
 \end{bnf}
 
 \begin{bnf}
@@ -464,9 +464,9 @@
 
 \begin{bnf}
 \nontermdef{universal-character-name}\br
-    \terminal{\textbackslash u} hex-quad\br
-    \terminal{\textbackslash U} hex-quad hex-quad\br
-    \terminal{\textbackslash u\{} simple-hexadecimal-digit-sequence \terminal{\}}\br
+    \literalterminal{\textbackslash u} hex-quad\br
+    \literalterminal{\textbackslash U} hex-quad hex-quad\br
+    \literalterminal{\textbackslash u\{} simple-hexadecimal-digit-sequence \literalterminal{\}}\br
     named-universal-character
 \end{bnf}
 
@@ -1187,14 +1187,14 @@
 
 \begin{bnf}
 \nontermdef{binary-literal}\br
-    \terminal{0b} binary-digit\br
-    \terminal{0B} binary-digit\br
+    \literalterminal{0b} binary-digit\br
+    \literalterminal{0B} binary-digit\br
     binary-literal \opt{\literalterminal{'}} binary-digit
 \end{bnf}
 
 \begin{bnf}
 \nontermdef{octal-literal}\br
-    \terminal{0}\br
+    \literalterminal{0}\br
     octal-literal \opt{\literalterminal{'}} octal-digit
 \end{bnf}
 
@@ -1211,22 +1211,22 @@
 
 \begin{bnf}
 \nontermdef{binary-digit} \textnormal{one of}\br
-    \terminal{0  1}
+    \literalterminal{0  1}
 \end{bnf}
 
 \begin{bnf}
 \nontermdef{octal-digit} \textnormal{one of}\br
-    \terminal{0  1  2  3  4  5  6  7}
+    \literalterminal{0  1  2  3  4  5  6  7}
 \end{bnf}
 
 \begin{bnf}
 \nontermdef{nonzero-digit} \textnormal{one of}\br
-    \terminal{1  2  3  4  5  6  7  8  9}
+    \literalterminal{1  2  3  4  5  6  7  8  9}
 \end{bnf}
 
 \begin{bnf}
 \nontermdef{hexadecimal-prefix} \textnormal{one of}\br
-    \terminal{0x  0X}
+    \literalterminal{0x  0X}
 \end{bnf}
 
 \begin{bnf}