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 @@
+\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}