--- a/document/root.tex	Thu Jan 10 11:28:26 2013 +0000
+++ b/document/root.tex	Thu Jan 10 12:30:27 2013 +0000
@@ -19,7 +19,7 @@
 \renewcommand{\isasymequiv}{$\dn$}
 \renewcommand{\isasymemptyset}{$\varnothing$}
 \renewcommand{\isacharunderscore}{\mbox{$\_$}}
-
+\renewcommand{\isasymiota}{}
 \begin{document}
 
 \title{Formalising Computability Theory in Isabelle/HOL}