--- a/Paper/document/root.tex	Thu Apr 01 18:45:50 2010 +0200
+++ b/Paper/document/root.tex	Fri Apr 02 03:23:25 2010 +0200
@@ -36,6 +36,7 @@
 \newcommand{\isasymACONS}{$\mathtt{acons}$}
 \newcommand{\isasymCASE}{$\mathtt{case}$}
 \newcommand{\isasymOF}{$\mathtt{of}$}
+\newcommand{\isasymAL}{\makebox[0mm][l]{$^\alpha$}}
 \newcommand{\LET}{\;\mathtt{let}\;}
 \newcommand{\IN}{\;\mathtt{in}\;}
 \newcommand{\END}{\;\mathtt{end}\;}