--- a/lib/texinputs/isabellesym.sty Wed Jan 10 20:18:55 2001 +0100
+++ b/lib/texinputs/isabellesym.sty Wed Jan 10 20:19:34 2001 +0100
@@ -288,8 +288,10 @@
\newcommand{\isasymmho}{\isamath{\mho}} %requires latexsym
\newcommand{\isasymlozenge}{\isamath{\lozenge}} %requires amssym
\newcommand{\isasymJoin}{\isamath{\Join}} %requires latexsym
+\newcommand{\isasymwrong}{\isamath{\wr}}
+\newcommand{\isasymspacespace}{\isamath{~~}}
\newcommand{\isasymacute}{\isatext{\'\relax}}
-\newcommand{\isasymcedilla}{\isatext{\c\relax}}
\newcommand{\isasymdieresis}{\isatext{\"\relax}}
+\newcommand{\isasymcedilla}{\isatext{\c\relax}}
\newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
-\newcommand{\isasymspacespace}{\isamath{~~}}
+