diff options
Diffstat (limited to 'doc/common')
-rwxr-xr-x | doc/common/macros.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/common/macros.tex b/doc/common/macros.tex index c5538aaab..0e820008e 100755 --- a/doc/common/macros.tex +++ b/doc/common/macros.tex @@ -205,6 +205,7 @@ \newcommand{\pat}{\nterm{pat}} \newcommand{\pgs}{\nterm{pgms}} \newcommand{\pg}{\nterm{pgm}} +\newcommand{\abullet}{\nterm{bullet}} %BEGIN LATEX \newcommand{\proof}{\nterm{proof}} %END LATEX |