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}}