diff options
Diffstat (limited to 'preamble.tex')
-rw-r--r-- | preamble.tex | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/preamble.tex b/preamble.tex index 3aeecda..84f87fc 100644 --- a/preamble.tex +++ b/preamble.tex | |||
@@ -1,6 +1,9 @@ | |||
1 | \usepackage{listings} | 1 | \usepackage{listings} |
2 | \usepackage{algorithmic} | 2 | \usepackage{algorithmic} |
3 | \usepackage{amsmath} | 3 | \usepackage{amsmath} |
4 | \usepackage{bussproofs} | ||
5 | \usepackage{tikz} | ||
6 | \usepackage{tikz-qtree,tikz-qtree-compat} | ||
4 | 7 | ||
5 | \renewcommand{\algorithmicrequire}{\textbf{Input:}} | 8 | \renewcommand{\algorithmicrequire}{\textbf{Input:}} |
6 | \renewcommand{\algorithmicensure}{\textbf{Output:}} | 9 | \renewcommand{\algorithmicensure}{\textbf{Output:}} |
@@ -17,4 +20,7 @@ postbreak=\raisebox{0ex}[0ex][0ex]{\ensuremath{\color{red}\hookrightarrow\space} | |||
17 | %\DeclareMathOperator{\P}{\frak{P}} | 20 | %\DeclareMathOperator{\P}{\frak{P}} |
18 | %\DeclareMathOperator{\exp}{exp} | 21 | %\DeclareMathOperator{\exp}{exp} |
19 | %\DeclareMathOperator{\ln}{ln} | 22 | %\DeclareMathOperator{\ln}{ln} |
20 | \newcommand{\N}{\ensuremath{\mathbb{N}}} | 23 | \providecommand{\N}{\ensuremath{\mathbb{N}}} |
24 | \providecommand{\lequiv}{\ensuremath{\Leftrightarrow}} | ||
25 | \providecommand{\limplies}{\ensuremath{\Rightarrow}} | ||
26 | \providecommand{\seq}{\ensuremath{\Longrightarrow}} | ||