comparison notes/tex/preamble.tex @ 9:25d752768544

nicer defeq
author Markus Kaiser <markus.kaiser@in.tum.de>
date Tue, 29 Oct 2013 00:15:10 +0100
parents 4d05c4d352ca
children c903f55b68de
comparison
equal deleted inserted replaced
8:4af5684623be 9:25d752768544
45 \newcommand{\setnot}[1]{\overline{#1}} 45 \newcommand{\setnot}[1]{\overline{#1}}
46 \newcommand{\setsymdiff}{\,\triangle\,} 46 \newcommand{\setsymdiff}{\,\triangle\,}
47 47
48 \newcommand{\rel}[1]{\,\mathrm{#1}\,} 48 \newcommand{\rel}[1]{\,\mathrm{#1}\,}
49 49
50 \newcommand{\defeq}{\mathrel{\vcenter{\baselineskip0.5ex\lineskiplimit0pt\hbox{\scriptsize.}\hbox{\scriptsize.}}}=} 50 \newcommand{\defeq}{\coloneqq} %Mathtools already defines this
51 51
52 \tikzstyle{edge} = [draw,very thick,->,>=latex] 52 \tikzstyle{edge} = [draw,very thick,->,>=latex]
53 \tikzstyle{pretty} = [circle,thick,draw,fill=tumblue!10] 53 \tikzstyle{pretty} = [circle,thick,draw,fill=tumblue!10]
54 \tikzstyle{every edge} = [edge] 54 \tikzstyle{every edge} = [edge]
55 \tikzstyle{every state} = [pretty] 55 \tikzstyle{every state} = [pretty]