--- a/Paper/document/root.tex	Thu Feb 10 08:40:38 2011 +0000
+++ b/Paper/document/root.tex	Thu Feb 10 12:32:45 2011 +0000
@@ -26,7 +26,7 @@
 \newcommand{\isasymcalL}{\ensuremath{\cal{L}}}
 \newcommand{\isasymbigplus}{\ensuremath{\bigplus}}
 
-\newcommand{\bigplus}{\mbox{\large\bf$+$}}
+\newcommand{\bigplus}{\mbox{\Large\bf$+$}}
 \begin{document}
 
 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular