lib/texinputs/isabellesym.sty
changeset 16772 fe9dfbc2fa3f
parent 16110 c423bb89186d
child 17531 0bc8ae586a7c
     1.1 --- a/lib/texinputs/isabellesym.sty	Tue Jul 12 11:54:55 2005 +0200
     1.2 +++ b/lib/texinputs/isabellesym.sty	Tue Jul 12 11:55:33 2005 +0200
     1.3 @@ -359,3 +359,4 @@
     1.4  \newcommand{\isasymcedilla}{\isatext{\c\relax}}
     1.5  \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
     1.6  \newcommand{\isasymspacespace}{\isamath{~~}}
     1.7 +\newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}}