diff -r e90f6a26d74b -r a908ea36054f Paper/document/root.tex
--- a/Paper/document/root.tex	Fri Jul 02 01:54:19 2010 +0100
+++ b/Paper/document/root.tex	Fri Jul 02 15:34:46 2010 +0100
@@ -38,6 +38,7 @@
 \newcommand{\isasymCASE}{$\mathtt{case}$}
 \newcommand{\isasymOF}{$\mathtt{of}$}
 \newcommand{\isasymAL}{\makebox[0mm][l]{$^\alpha$}}
+\newcommand{\isasymPRIME}{\makebox[0mm][l]{$'$}}
 \newcommand{\LET}{\;\mathtt{let}\;}
 \newcommand{\IN}{\;\mathtt{in}\;}
 \newcommand{\END}{\;\mathtt{end}\;}