--- a/doc-src/TutorialI/isabellesym.sty Mon Oct 30 18:26:14 2000 +0100
+++ b/doc-src/TutorialI/isabellesym.sty Mon Oct 30 18:28:00 2000 +0100
@@ -127,7 +127,7 @@
\newcommand{\isasymLongleftrightarrow}{\isamath{\Longleftrightarrow}}
\newcommand{\isasymbar}{\isamath{\mid}}
\newcommand{\isasymhyphen}{\isatext{\rm-}}
-\newcommand{\isasymmacron}{\isatext{\rm\=\relax}}
+\newcommand{\isasyminverse}{\isamath{{}^{-1}}}
\newcommand{\isasymexclamdown}{\isatext{\rm\textexclamdown}}
\newcommand{\isasymquestiondown}{\isatext{\rm\textquestiondown}}
\newcommand{\isasymguillemotleft}{\isatext{\flqq}} %requires babel