| changeset 12343 | b05331869f79 |
| parent 10222 | 027a6f43e408 |
| child 17133 | 096792bdc58e |
--- a/doc-src/AxClass/axclass.tex Mon Dec 03 12:06:13 2001 +0100 +++ b/doc-src/AxClass/axclass.tex Mon Dec 03 20:59:29 2001 +0100 @@ -6,8 +6,8 @@ \isabellestyle{it} \newcommand{\isasyminv}{\isamath{{}^{-1}}} -\newcommand{\isasymunit}{\isamath{1}} -\newcommand{\isasymzero}{\isamath{0}} +\renewcommand{\isasymzero}{\isamath{0}} +\renewcommand{\isasymone}{\isamath{1}} \newcommand{\secref}[1]{\S\ref{#1}} \newcommand{\figref}[1]{figure~\ref{#1}}