diff options
Diffstat (limited to 'doc/common')
| -rwxr-xr-x | doc/common/macros.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/common/macros.tex b/doc/common/macros.tex index c27a3357e3..6048a75fdb 100755 --- a/doc/common/macros.tex +++ b/doc/common/macros.tex @@ -72,7 +72,7 @@ %\newcommand{\spec}[1]{\{\,#1\,\}} % Building regular expressions -\newcommand{\zeroone}[1]{{\sl [}#1{\sl ]}} +\newcommand{\zeroone}[1]{\mbox{\sl [}#1\mbox{\sl ]}} %\newcommand{\zeroonemany}[1]{$\{$#1$\}$*} %\newcommand{\onemany}[1]{$\{$#1$\}$+} \newcommand{\nelist}[2]{{#1} {\tt #2} {\ldots} {\tt #2} {#1}} |