lib/texinputs/isabellesym.sty
changeset 16772 fe9dfbc2fa3f
parent 16110 c423bb89186d
child 17531 0bc8ae586a7c
equal deleted inserted replaced
16771:2b534c5b5625 16772:fe9dfbc2fa3f
   357 \newcommand{\isasymindex}{\isatext{\i}}
   357 \newcommand{\isasymindex}{\isatext{\i}}
   358 \newcommand{\isasymdieresis}{\isatext{\"\relax}}
   358 \newcommand{\isasymdieresis}{\isatext{\"\relax}}
   359 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
   359 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
   360 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
   360 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
   361 \newcommand{\isasymspacespace}{\isamath{~~}}
   361 \newcommand{\isasymspacespace}{\isamath{~~}}
       
   362 \newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}}