| changeset 17126 | ff9ad5b17100 |
| parent 16353 | 94e565ded526 |
| child 17536 | 1b7c2f7df2e6 |
--- a/doc-src/ZF/isabellesym.sty Fri Aug 19 10:50:05 2005 +0200 +++ b/doc-src/ZF/isabellesym.sty Fri Aug 19 11:03:06 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}}