--- a/style.sty	Wed Apr 06 11:51:33 2016 +0100
+++ b/style.sty	Wed Apr 06 12:18:54 2016 +0100
@@ -9,9 +9,10 @@
 \definecolor{darkblue}{rgb}{0,0,0.6}
 \usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
 
-%%% fo regular expressions
+%%% for regular expressions and values
 \newcommand{\ZERO}{\mbox{\bf 0}}
 \newcommand{\ONE}{\mbox{\bf 1}}
+\newcommand{\Left}{\textit{Left}}
 
 
 %%% for trees