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 +++++++-
 shell.nix    | 2 +-
 2 files changed, 8 insertions(+), 2 deletions(-)

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}}
diff --git a/shell.nix b/shell.nix
index 2ba975c..8362821 100644
--- a/shell.nix
+++ b/shell.nix
@@ -14,7 +14,7 @@ pkgs.stdenv.mkDerivation rec {
                     with p; [ yesod yesod-bin pandoc monad-par persistent-sqlite
                             ]))
 	          (pkgs.texlive.combine {
-		    inherit (pkgs.texlive) scheme-small libertine tipa cm-super context bussproofs mweights fontaxes backnaur enumitem varwidth beamer ctablestack algorithms;
+		    inherit (pkgs.texlive) scheme-small libertine tipa cm-super context bussproofs mweights fontaxes backnaur enumitem varwidth beamer ctablestack algorithms tikz-qtree;
 		  })
                 ];
   shellHook = ''
-- 
cgit v1.2.3