--- a/Paper/document/root.tex	Tue Jan 22 14:46:02 2013 +0000
+++ b/Paper/document/root.tex	Wed Jan 23 08:01:35 2013 +0100
@@ -5,6 +5,7 @@
 \usepackage{times}
 \usepackage{amssymb}
 \usepackage{amsmath}
+\usepackage{stmaryrd}
 \usepackage{mathpartir}
 \usepackage{pdfsetup}
 \usepackage{tikz}
@@ -18,6 +19,11 @@
 \urlstyle{rm}
 \isabellestyle{it}
 
+% mathpatir
+\mprset{sep=0.8em}
+\mprset{center=false}
+\mprset{flushleft=true}
+
 % for uniform font size
 %\renewcommand{\isastyle}{\isastyleminor}