# HG changeset patch
# User berghofe
# Date 1121162133 -7200
# Node ID fe9dfbc2fa3fd8db84a2356231c165833a51efb1
# Parent  2b534c5b5625e4fc87de3af72fcf7489eeb2df6b
Added \<module> symbol.

diff -r 2b534c5b5625 -r fe9dfbc2fa3f lib/texinputs/isabellesym.sty
--- 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}}