diff -r 4f8bab472a83 -r eb95360d6ac6 Paper/document/root.tex
--- a/Paper/document/root.tex	Thu Mar 18 19:02:33 2010 +0100
+++ b/Paper/document/root.tex	Thu Mar 18 19:39:01 2010 +0100
@@ -6,10 +6,13 @@
 \usepackage{tikz}
 \usepackage{pgf}
 \usepackage{pdfsetup}
+\usepackage{ot1patch}
 
 \urlstyle{rm}
 \isabellestyle{it}
 
+\DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}}
+\DeclareRobustCommand{\frqq}{\mbox{\guillemotright}}
 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}
 \renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\cdot}$}}}
 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}