# HG changeset patch
# User wenzelm
# Date 971365187 -7200
# Node ID 756394e405a0397204cabb2da42f958d0abe0647
# Parent  746eb6791aed7b4463c744b83c96cddb6cf9239f
tuned syms;

diff -r 746eb6791aed -r 756394e405a0 doc-src/AxClass/axclass.tex
--- 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}}