doc-src/LaTeXsugar/Sugar/document/isabellesym.sty
changeset 17125 e6a82d1a1829
parent 16154 9bf4b6bf4372
child 17175 1eced27ee0e1
equal deleted inserted replaced
17124:19ea4a0f4ec9 17125:e6a82d1a1829
   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}}