diff options
| author |  Matej Kosik <m4tej.kosik@gmail.com> | 2015-11-03 10:23:19 +0100 |
|---|---|---|
| committer |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-12-10 09:35:12 +0100 |
| commit | 754bc95497ccf903391e5aa1cfda45cb59ad7927 (patch) | |
| tree | 2ff29957f5d7b705eafb2286fe4ee82d5939e240 /doc/common | |
| parent | 6a66f087bdb773465ce55f8cac040158f07c8d5c (diff) | |
ENH: new example: "even"
Diffstat (limited to 'doc/common')
| -rw-r--r-- | doc/common/macros.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/common/macros.tex b/doc/common/macros.tex index 1ac29b155..0ea2ed650 100644 --- a/doc/common/macros.tex +++ b/doc/common/macros.tex @@ -280,6 +280,11 @@ \newcommand{\Type}{\mbox{\textsf{Type}}} \newcommand{\unfold}{\mbox{\textsf{unfold}}} \newcommand{\zeros}{\mbox{\textsf{zeros}}} +\newcommand{\even}{\mbox{\textsf{even}}} +\newcommand{\odd}{\mbox{\textsf{even}}} +\newcommand{\evenO}{\mbox{\textsf{even\_O}}} +\newcommand{\evenS}{\mbox{\textsf{even\_S}}} +\newcommand{\oddS}{\mbox{\textsf{odd\_S}}} %%%%%%%%% % Misc. % |