blob: bd248011c4891f0370fdba7c07ed4f1a39f0bda8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
\usepackage{libertine}
\usepackage{listings}
\usepackage{algorithmic}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{bussproofs}
\usepackage{tikz}
\usepackage{tikz-qtree,tikz-qtree-compat,circuitikz}
\renewcommand{\algorithmicrequire}{\textbf{Input:}}
\renewcommand{\algorithmicensure}{\textbf{Output:}}
\lstset{
frame=tb,
numbers=left,
numberstyle=\tiny,
breaklines=true,
postbreak=\raisebox{0ex}[0ex][0ex]{\ensuremath{\color{red}\hookrightarrow\space}},
extendedchars=true,
inputencoding=utf8,
keywordstyle=
}
\DeclareMathOperator{\Hom}{Hom}
%\DeclareMathOperator{\P}{\frak{P}}
%\DeclareMathOperator{\exp}{exp}
%\DeclareMathOperator{\ln}{ln}
\providecommand{\N}{\ensuremath{\mathbb{N}}}
\providecommand{\lequiv}{\ensuremath{\Leftrightarrow}}
\providecommand{\limplies}{\ensuremath{\Rightarrow}}
\providecommand{\seq}{\ensuremath{\Longrightarrow}}
\newtheorem*{def*}{Definition}
|
