diff -r c39f83d8daeb -r 26e5b41faa74 CookBook/document/root.tex
--- a/CookBook/document/root.tex	Sun Feb 15 18:58:21 2009 +0000
+++ b/CookBook/document/root.tex	Mon Feb 16 17:17:24 2009 +0000
@@ -41,6 +41,7 @@
 \belowcaptionskip 10mm
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \hyphenation{Isabelle}
+\renewcommand{\isasymiota}{}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % to work around a problem with \isanewline