--- a/Paper/document/root.tex	Mon Mar 22 14:07:07 2010 +0100
+++ b/Paper/document/root.tex	Mon Mar 22 14:07:35 2010 +0100
@@ -23,7 +23,7 @@
 \newcommand{\IN}{\;\mathtt{in}\;}
 \newcommand{\END}{\;\mathtt{end}\;}
 \newcommand{\AND}{\;\mathtt{and}\;}
-
+\newcommand{\fv}{\mathit{fv}}
 
 
 %----------------- theorem definitions ----------