From 1d5e519d130e447a28a697a7265a562a8d3317b3 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Sat, 6 May 2017 17:10:19 +0200
Subject: Update pdf environment

---
 preamble.tex | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'preamble.tex')

diff --git a/preamble.tex b/preamble.tex
index d602be5..bd24801 100644
--- a/preamble.tex
+++ b/preamble.tex
@@ -1,6 +1,8 @@
+\usepackage{libertine}
 \usepackage{listings}
 \usepackage{algorithmic}
 \usepackage{amsmath}
+\usepackage{amsthm}
 \usepackage{bussproofs}
 \usepackage{tikz}
 \usepackage{tikz-qtree,tikz-qtree-compat,circuitikz}
@@ -13,7 +15,10 @@ frame=tb,
 numbers=left,
 numberstyle=\tiny,
 breaklines=true,
-postbreak=\raisebox{0ex}[0ex][0ex]{\ensuremath{\color{red}\hookrightarrow\space}}
+postbreak=\raisebox{0ex}[0ex][0ex]{\ensuremath{\color{red}\hookrightarrow\space}},
+extendedchars=true,
+inputencoding=utf8,
+keywordstyle=
 }
 
 \DeclareMathOperator{\Hom}{Hom}
@@ -24,3 +29,5 @@ postbreak=\raisebox{0ex}[0ex][0ex]{\ensuremath{\color{red}\hookrightarrow\space}
 \providecommand{\lequiv}{\ensuremath{\Leftrightarrow}}
 \providecommand{\limplies}{\ensuremath{\Rightarrow}}
 \providecommand{\seq}{\ensuremath{\Longrightarrow}}
+
+\newtheorem*{def*}{Definition}
-- 
cgit v1.2.3