diff -r 5d724fe0e096 -r e7edf55befc6 Slides/document/root.tex
--- a/Slides/document/root.tex	Mon Aug 22 12:49:27 2011 +0000
+++ b/Slides/document/root.tex	Tue Aug 23 00:24:10 2011 +0000
@@ -9,6 +9,7 @@
 \usepackage{proof}
 \usepackage{ifthen}
 \usepackage{animate}
+\usepackage{ulem}
 \usepackage{tikz}
 \usepackage{pgf}
 \usetikzlibrary{arrows}
@@ -44,6 +45,7 @@
 % general math stuff
 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions
 \newcommand{\dnn}{\stackrel{\mbox{\Large def}}{=}}
+\renewcommand{\isasymequiv}{$\dn$}
 \renewcommand{\emptyset}{\varnothing}% nice round empty set
 \renewcommand{\Gamma}{\varGamma} 
 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}}