Mercurial > 13ws.ds
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] |