# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1383002110 -3600
# Node ID 25d752768544af4c5e5f81ba45fb3b8c65159b80
# Parent  4af5684623bea663514bffc1b5865395d1909d7a
nicer defeq

diff -r 4af5684623be -r 25d752768544 notes/tex/preamble.tex
--- a/notes/tex/preamble.tex	Mon Oct 28 22:27:22 2013 +0100
+++ b/notes/tex/preamble.tex	Tue Oct 29 00:15:10 2013 +0100
@@ -47,7 +47,7 @@
 
 \newcommand{\rel}[1]{\,\mathrm{#1}\,}
 
-\newcommand{\defeq}{\mathrel{\vcenter{\baselineskip0.5ex\lineskiplimit0pt\hbox{\scriptsize.}\hbox{\scriptsize.}}}=}
+\newcommand{\defeq}{\coloneqq} %Mathtools already defines this
 
 \tikzstyle{edge} = [draw,very thick,->,>=latex]
 \tikzstyle{pretty} = [circle,thick,draw,fill=tumblue!10]