blob: d602be5a7aef23f5dd449cab331acc1a536caa70 (
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
|
\usepackage{listings}
\usepackage{algorithmic}
\usepackage{amsmath}
\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}}
}
\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}}
|
