Added \<module> symbol.
authorberghofe
Tue Jul 12 11:55:33 2005 +0200 (2005-07-12)
changeset 16772fe9dfbc2fa3f
parent 16771 2b534c5b5625
child 16773 33c4d8fe6f78
Added \<module> symbol.
lib/texinputs/isabellesym.sty
     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}}