[re.grammar] Avoid monospace font for ordinary text. (#4074)

cplusplus · Sep 22, 2020 · d24f40d · d24f40d
1 parent 8b50953
commit d24f40d
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/source/regex.tex b/source/regex.tex
@@ -3705,17 +3705,17 @@
 In addition the following expressions shall be equivalent:
 
 \begin{codeblock}
-\d and [[:digit:]]
+\d @\textnormal{and}@ [[:digit:]]
 
-\D and [^[:digit:]]
+\D @\textnormal{and}@ [^[:digit:]]
 
-\s and [[:space:]]
+\s @\textnormal{and}@ [[:space:]]
 
-\S and [^[:space:]]
+\S @\textnormal{and}@ [^[:space:]]
 
-\w and [_[:alnum:]]
+\w @\textnormal{and}@ [_[:alnum:]]
 
-\W and [^_[:alnum:]]
+\W @\textnormal{and}@ [^_[:alnum:]]
 \end{codeblock}
 
 \pnum