
diff -r 14b12b5de6d3 -r f438f4dbaada Paper/document/root.tex
--- a/Paper/document/root.tex	Tue Feb 08 18:04:54 2011 +0000
+++ b/Paper/document/root.tex	Tue Feb 08 19:54:23 2011 +0000
@@ -22,7 +22,7 @@
 \renewcommand{\isasymemptyset}{$\varnothing$}
 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}
 
-
+\newcommand{\isasymcalL}{\ensuremath{\cal{L}}}
 \begin{document}
 
 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular




