diff -r c474186439bd -r f5b6f9d8a882 Quotient-Paper/document/root.tex
--- a/Quotient-Paper/document/root.tex	Fri Jun 11 21:58:25 2010 +0200
+++ b/Quotient-Paper/document/root.tex	Sat Jun 12 02:36:49 2010 +0200
@@ -16,7 +16,8 @@
 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}
 \renewcommand{\isasymequiv}{$\dn$}
 \renewcommand{\isasymemptyset}{$\varnothing$}
-
+\renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}
+\renewcommand{\isasymUnion}{$\bigcup$}
 \begin{document}
 
 \title{Quotients Revisited for Isabelle/HOL}