--- a/Paper/document/root.tex	Sun Jan 30 17:09:02 2011 +0000
+++ b/Paper/document/root.tex	Sun Jan 30 17:21:53 2011 +0000
@@ -9,7 +9,7 @@
 \usepackage{ot1patch}
 \usepackage{times}
 \usepackage{proof}
-
+\usepackage{stmaryrd}
 
 \urlstyle{rm}
 \isabellestyle{it}