diff options
| author |  Matej Kosik <m4tej.kosik@gmail.com> | 2016-04-12 17:17:18 +0200 |
|---|---|---|
| committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-04-12 17:30:49 +0200 |
| commit | 2bd36760f84f1d79af63cdee4d5d53f289a51204 (patch) | |
| tree | b4ae97b2a8399cd1bb7b90232de0f9fcc3c2ab5d /doc/common | |
| parent | 4b4fc278887d33299aea32aceea93e9849a65855 (diff) | |
FIX: HTML version of Chapter 4 of the Reference Manual
Diffstat (limited to 'doc/common')
| -rw-r--r-- | doc/common/macros.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/common/macros.tex b/doc/common/macros.tex index 3b12f259b..bbc78a851 100644 --- a/doc/common/macros.tex +++ b/doc/common/macros.tex @@ -405,8 +405,8 @@ \newcommand{\Ind}[4]{\mbox{{\sf Ind}$[#2](\begin{array}[t]{@{}l@{}}#3:=#4 \,)\end{array}$}} %END LATEX -%HEVEA \newcommand{\NInd}[3]{\mbox{{\sf Ind}$(#1)(#2:=#3\,)$}} -%HEVEA \newcommand{\Ind}[4]{\mbox{{\sf Ind}$(#1)[#2](#3:=#4\,)$}} +%HEVEA \newcommand{\NInd}[3]{\mbox{{\sf Ind}$(#2\,:=\,#3)$}} +%HEVEA \newcommand{\Ind}[4]{\mbox{{\sf Ind}$[#2](#3\,:=\,#4)$}} \newcommand{\Indp}[5]{\mbox{{\sf Ind}$_{#5}(#1)[#2](\begin{array}[t]{@{}l}#3:=#4 \,)\end{array}$}} |