lib/texinputs/isabellesym.sty
changeset 59974 b911c8ba0b69
parent 55037 74dfec1edf8c
child 61579 634cd44bb1d3
     1.1 --- a/lib/texinputs/isabellesym.sty	Wed Apr 08 20:41:56 2015 +0200
     1.2 +++ b/lib/texinputs/isabellesym.sty	Wed Apr 08 21:08:26 2015 +0200
     1.3 @@ -356,5 +356,5 @@
     1.4  \newcommand{\isasymsome}{\isamath{\epsilon\,}}
     1.5  \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
     1.6  \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
     1.7 +\newcommand{\isasymhole}{\isatext{\rm\wasylozenge}}  %requires wasysym
     1.8  \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
     1.9 -