#13 more spaces

yegor256 · Jun 29, 2023 · 89b82fc · 89b82fc
1 parent 97bc712
commit 89b82fc
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/naive-ebnf.dtx b/naive-ebnf.dtx
@@ -318,11 +318,11 @@
 \NewDocumentEnvironment{ebnf}{O{4em}+b}
   {\tl_set:Nn\l__ebnf_tmp_tl{#2}}
   {%
-  \regex_replace_all:nnN { \{(.+?)\} }%
+  \regex_replace_all:nnN { \{\ (.+?)\ \} }%
     {\c{ebnf@repetition}{\1}} \l__ebnf_tmp_tl%
-  \regex_replace_all:nnN { \((.+?)\) }%
+  \regex_replace_all:nnN { \(\ (.+?)\ \) }%
     {\c{ebnf@grouping}{\1}} \l__ebnf_tmp_tl%
-  \regex_replace_all:nnN { \[(.+?)\] }%
+  \regex_replace_all:nnN { \[\ (.+?)\ \] }%
     {\c{ebnf@optional}{\1}} \l__ebnf_tmp_tl%
   \regex_replace_all:nnN { (<[^>]+?>\ :=) }%
     {\c{makebox}[#1][r]{\1}} \l__ebnf_tmp_tl%
@@ -333,8 +333,8 @@
   \regex_replace_all:nnN { '(.+?)' }%
     {\c{ebnf@sterminal}{\1}} \l__ebnf_tmp_tl%
   \regex_replace_all:nnN { \|(\|) }%
-    {\c{makebox}[#1][r]{ \1 }} \l__ebnf_tmp_tl%
-  \regex_replace_all:nnN { \| }%
+    {\c{makebox}[#1][r]{ \ \1\ }} \l__ebnf_tmp_tl%
+  \regex_replace_all:nnN { \ \|\ }%
     {\c{ebnf@alternation}{}} \l__ebnf_tmp_tl%
   \regex_replace_all:nnN { := }%
     {\c{ebnf@to}{}} \l__ebnf_tmp_tl%