1.1 --- a/doc-src/IsarAdvanced/Classes/classes.tex	Fri Feb 23 08:39:19 2007 +0100
     1.2 +++ b/doc-src/IsarAdvanced/Classes/classes.tex	Fri Feb 23 08:39:20 2007 +0100
     1.3 @@ -10,6 +10,10 @@
     1.4  \usepackage{style}
     1.5  \usepackage{Thy/document/pdfsetup}
     1.6  
     1.7 +\renewcommand{\isasymlongleftrightarrow}{\isamath{\leftrightarrow}}
     1.8 +\renewcommand{\isasymdiv}{\isamath{{}^{-1}}}
     1.9 +\renewcommand{\isasymotimes}{\isamath{\circ}}
    1.10 +
    1.11  \newcommand{\cmd}[1]{\isacommand{#1}}
    1.12  
    1.13  \newcommand{\isasymINFIX}{\cmd{infix}}