lib/texinputs/isabellesym.sty
changeset 10859 b88ce3ed3b1d
parent 10836 666621128f5a
child 10929 ccceb5fb517d
     1.1 --- a/lib/texinputs/isabellesym.sty	Wed Jan 10 20:18:55 2001 +0100
     1.2 +++ b/lib/texinputs/isabellesym.sty	Wed Jan 10 20:19:34 2001 +0100
     1.3 @@ -288,8 +288,10 @@
     1.4  \newcommand{\isasymmho}{\isamath{\mho}}  %requires latexsym
     1.5  \newcommand{\isasymlozenge}{\isamath{\lozenge}}  %requires amssym
     1.6  \newcommand{\isasymJoin}{\isamath{\Join}}  %requires latexsym
     1.7 +\newcommand{\isasymwrong}{\isamath{\wr}}
     1.8 +\newcommand{\isasymspacespace}{\isamath{~~}}
     1.9  \newcommand{\isasymacute}{\isatext{\'\relax}}
    1.10 -\newcommand{\isasymcedilla}{\isatext{\c\relax}}
    1.11  \newcommand{\isasymdieresis}{\isatext{\"\relax}}
    1.12 +\newcommand{\isasymcedilla}{\isatext{\c\relax}}
    1.13  \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
    1.14 -\newcommand{\isasymspacespace}{\isamath{~~}}
    1.15 +