--- a/doc-src/AxClass/axclass.tex Thu Oct 12 17:28:18 2000 +0200
+++ b/doc-src/AxClass/axclass.tex Thu Oct 12 17:39:47 2000 +0200
@@ -5,9 +5,9 @@
\usepackage{../pdfsetup} % last one!
\isabellestyle{it}
-\newcommand{\isasyminv}{\emph{${}^{-1}$}}
-\newcommand{\isasymunit}{\emph{$1$}}
-\newcommand{\isasymzero}{\emph{$0$}}
+\newcommand{\isasyminv}{\isamath{{}^{-1}}
+\newcommand{\isasymunit}{\isamath{1}}
+\newcommand{\isasymzero}{\isamath{0}}
\newcommand{\secref}[1]{\S\ref{#1}}
\newcommand{\figref}[1]{figure~\ref{#1}}