--- a/Quotient-Paper/document/root.tex	Sat Jun 12 11:32:36 2010 +0200
+++ b/Quotient-Paper/document/root.tex	Sun Jun 13 04:06:06 2010 +0200
@@ -8,16 +8,24 @@
 \usepackage{pdfsetup}
 \usepackage{tikz}
 \usepackage{pgf}
+\usepackage{verbdef}
 
 \urlstyle{rm}
 \isabellestyle{it}
 \renewcommand{\isastyle}{\isastyleminor}
 
 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}
+\verbdef\singlearr|--->|
+\verbdef\doublearr|===>|
+
 \renewcommand{\isasymequiv}{$\dn$}
 \renewcommand{\isasymemptyset}{$\varnothing$}
 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}
 \renewcommand{\isasymUnion}{$\bigcup$}
+
+\newcommand{\isasymsinglearr}{\singlearr}
+\newcommand{\isasymdoublearr}{\doublearr}
+
 \begin{document}
 
 \title{Quotients Revisited for Isabelle/HOL}