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