From d24f40d4738547a850bb1ddee5a66f3717a23f5d Mon Sep 17 00:00:00 2001 From: Eelis Date: Wed, 8 Jul 2020 17:36:49 +0200 Subject: [PATCH] [re.grammar] Avoid monospace font for ordinary text. (#4074) --- source/regex.tex | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/source/regex.tex b/source/regex.tex index 666bf793f2..97d8a33560 100644 --- 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