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