diff -r e6a82d1a1829 -r ff9ad5b17100 doc-src/ZF/isabellesym.sty
--- 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}}