lib/texinputs/isabellesym.sty
changeset 10836 666621128f5a
parent 10822 d72dac8e6ef5
child 10859 b88ce3ed3b1d
     1.1 --- a/lib/texinputs/isabellesym.sty	Tue Jan 09 15:36:30 2001 +0100
     1.2 +++ b/lib/texinputs/isabellesym.sty	Tue Jan 09 23:48:30 2001 +0100
     1.3 @@ -288,4 +288,8 @@
     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{\isasymacute}{\isatext{\'\relax}}
     1.8 +\newcommand{\isasymcedilla}{\isatext{\c\relax}}
     1.9 +\newcommand{\isasymdieresis}{\isatext{\"\relax}}
    1.10 +\newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
    1.11  \newcommand{\isasymspacespace}{\isamath{~~}}