diff -r 479dad7b3b41 -r b88ce3ed3b1d lib/texinputs/isabellesym.sty --- 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{~~}} +