doc-src/ZF/isabellesym.sty
changeset 17126 ff9ad5b17100
parent 16353 94e565ded526
child 17536 1b7c2f7df2e6
equal deleted inserted replaced
17125:e6a82d1a1829 17126:ff9ad5b17100
   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}}