diff -r 6a6d0bd16035 -r 5ef9f6ebe827 prio/Paper/document/root.tex
--- a/prio/Paper/document/root.tex	Fri Feb 10 11:30:47 2012 +0000
+++ b/prio/Paper/document/root.tex	Fri Feb 10 21:01:03 2012 +0000
@@ -4,8 +4,8 @@
 \usepackage{amsmath}
 \usepackage{amssymb}
 \usepackage{mathpartir}
-%\usepackage{tikz}
-%\usepackage{pgf}
+\usepackage{tikz}
+\usepackage{pgf}
 %\usetikzlibrary{arrows,automata,decorations,fit,calc}
 %\usetikzlibrary{shapes,shapes.arrows,snakes,positioning}
 %\usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf
@@ -34,6 +34,7 @@
 
 \newcommand{\isasymcalL}{\ensuremath{\cal{L}}}
 \newcommand{\isasymbigplus}{\ensuremath{\bigplus}}
+\renewcommand{\isasymiota}{}
 
 \newcommand{\bigplus}{\mbox{\Large\bf$+$}}
 \begin{document}