From d24417817245024ed1a856ebc6f2aae11ba47ee9 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Fri, 22 Apr 2016 23:18:58 +0200
Subject: bussproofs & trees

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

(limited to 'preamble.tex')

diff --git a/preamble.tex b/preamble.tex
index 3aeecda..84f87fc 100644
--- a/preamble.tex
+++ b/preamble.tex
@@ -1,6 +1,9 @@
 \usepackage{listings}
 \usepackage{algorithmic}
 \usepackage{amsmath}
+\usepackage{bussproofs}
+\usepackage{tikz}
+\usepackage{tikz-qtree,tikz-qtree-compat}
 
 \renewcommand{\algorithmicrequire}{\textbf{Input:}}
 \renewcommand{\algorithmicensure}{\textbf{Output:}}
@@ -17,4 +20,7 @@ postbreak=\raisebox{0ex}[0ex][0ex]{\ensuremath{\color{red}\hookrightarrow\space}
 %\DeclareMathOperator{\P}{\frak{P}}
 %\DeclareMathOperator{\exp}{exp}
 %\DeclareMathOperator{\ln}{ln}
-\newcommand{\N}{\ensuremath{\mathbb{N}}}
+\providecommand{\N}{\ensuremath{\mathbb{N}}}
+\providecommand{\lequiv}{\ensuremath{\Leftrightarrow}}
+\providecommand{\limplies}{\ensuremath{\Rightarrow}}
+\providecommand{\seq}{\ensuremath{\Longrightarrow}}
-- 
cgit v1.2.3