diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2017-05-06 17:10:19 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2017-05-06 17:10:19 +0200 |
commit | 1d5e519d130e447a28a697a7265a562a8d3317b3 (patch) | |
tree | 3190e2aadffc34ddaacb2856fc46eb5240d124cb /preamble.tex | |
parent | 8b5c35e41c5ea7fceec83a5134708ae02bcba395 (diff) | |
download | uni-1d5e519d130e447a28a697a7265a562a8d3317b3.tar uni-1d5e519d130e447a28a697a7265a562a8d3317b3.tar.gz uni-1d5e519d130e447a28a697a7265a562a8d3317b3.tar.bz2 uni-1d5e519d130e447a28a697a7265a562a8d3317b3.tar.xz uni-1d5e519d130e447a28a697a7265a562a8d3317b3.zip |
Update pdf environment
Diffstat (limited to 'preamble.tex')
-rw-r--r-- | preamble.tex | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/preamble.tex b/preamble.tex index d602be5..bd24801 100644 --- a/preamble.tex +++ b/preamble.tex | |||
@@ -1,6 +1,8 @@ | |||
1 | \usepackage{libertine} | ||
1 | \usepackage{listings} | 2 | \usepackage{listings} |
2 | \usepackage{algorithmic} | 3 | \usepackage{algorithmic} |
3 | \usepackage{amsmath} | 4 | \usepackage{amsmath} |
5 | \usepackage{amsthm} | ||
4 | \usepackage{bussproofs} | 6 | \usepackage{bussproofs} |
5 | \usepackage{tikz} | 7 | \usepackage{tikz} |
6 | \usepackage{tikz-qtree,tikz-qtree-compat,circuitikz} | 8 | \usepackage{tikz-qtree,tikz-qtree-compat,circuitikz} |
@@ -13,7 +15,10 @@ frame=tb, | |||
13 | numbers=left, | 15 | numbers=left, |
14 | numberstyle=\tiny, | 16 | numberstyle=\tiny, |
15 | breaklines=true, | 17 | breaklines=true, |
16 | postbreak=\raisebox{0ex}[0ex][0ex]{\ensuremath{\color{red}\hookrightarrow\space}} | 18 | postbreak=\raisebox{0ex}[0ex][0ex]{\ensuremath{\color{red}\hookrightarrow\space}}, |
19 | extendedchars=true, | ||
20 | inputencoding=utf8, | ||
21 | keywordstyle= | ||
17 | } | 22 | } |
18 | 23 | ||
19 | \DeclareMathOperator{\Hom}{Hom} | 24 | \DeclareMathOperator{\Hom}{Hom} |
@@ -24,3 +29,5 @@ postbreak=\raisebox{0ex}[0ex][0ex]{\ensuremath{\color{red}\hookrightarrow\space} | |||
24 | \providecommand{\lequiv}{\ensuremath{\Leftrightarrow}} | 29 | \providecommand{\lequiv}{\ensuremath{\Leftrightarrow}} |
25 | \providecommand{\limplies}{\ensuremath{\Rightarrow}} | 30 | \providecommand{\limplies}{\ensuremath{\Rightarrow}} |
26 | \providecommand{\seq}{\ensuremath{\Longrightarrow}} | 31 | \providecommand{\seq}{\ensuremath{\Longrightarrow}} |
32 | |||
33 | \newtheorem*{def*}{Definition} | ||