lib/texinputs/isabellesym.sty
changeset 67153 39117b6f0b2e
parent 67146 909dcdec2122
child 67154 c7def8f836d0
equal deleted inserted replaced
67152:8021ea06aad8 67153:39117b6f0b2e
   355 \newcommand{\isasymacute}{\isatext{\'\relax}}
   355 \newcommand{\isasymacute}{\isatext{\'\relax}}
   356 \newcommand{\isasymindex}{\isatext{\i}}
   356 \newcommand{\isasymindex}{\isatext{\i}}
   357 \newcommand{\isasymdieresis}{\isatext{\"\relax}}
   357 \newcommand{\isasymdieresis}{\isatext{\"\relax}}
   358 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
   358 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
   359 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
   359 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
   360 \newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}}
       
   361 \newcommand{\isasymsome}{\isamath{\epsilon\,}}
   360 \newcommand{\isasymsome}{\isamath{\epsilon\,}}
   362 \newcommand{\isasymhole}{\isatext{\rm\wasylozenge}}  %requires wasysym
   361 \newcommand{\isasymhole}{\isatext{\rm\wasylozenge}}  %requires wasysym
   363 \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}}
   362 \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}}
   364 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}}
   363 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}}
   365 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
   364 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}