mirror of
https://github.com/zerotier/zssp.git
synced 2026-05-22 16:28:40 -07:00
62 lines
2.2 KiB
TeX
62 lines
2.2 KiB
TeX
|
|
\theoremstyle{definition}
|
|
\usepackage{amsthm}
|
|
\newtheorem{theorem}{Theorem}
|
|
\theoremstyle{definition}
|
|
\newtheorem{claim}[theorem]{Claim}
|
|
\newtheorem{lemma}[theorem]{Lemma}
|
|
\newtheorem{proposition}[theorem]{Proposition}
|
|
\newtheorem{corol}{Corollary}
|
|
\newtheorem{definition}{Definition}
|
|
\newtheorem{assumption}{Assumption}
|
|
\newtheorem{obs}[theorem]{Observation}
|
|
\newtheorem{conj}[theorem]{Conjecture}
|
|
|
|
\newenvironment{proofof}[1]{\begin{proof}[Proof of #1.]}{\end{proof}}
|
|
\newenvironment{proofsketch}{\begin{proof}[Proof Sketch]}{\end{proof}}
|
|
|
|
\newcommand{\namedref}[2]{\hyperref[#2]{#1~\ref*{#2}}}
|
|
%\newcommand{\namedref}[2]{\hyperref[#2]{#1}}
|
|
%% if you don't like it, use this instead:
|
|
%\newcommand{\namedref}[2]{#1~\ref{#2}}
|
|
\newcommand{\chapterref}[1]{\namedref{Chapter}{#1}}
|
|
\newcommand{\sectionref}[1]{\namedref{Section}{#1}}
|
|
\newcommand{\theoremref}[1]{\namedref{Theorem}{#1}}
|
|
\newcommand{\algorithmref}[1]{\namedref{Algorithm}{#1}}
|
|
\newcommand{\propositionref}[1]{\namedref{Proposition}{#1}}
|
|
\newcommand{\definitionref}[1]{\namedref{Definition}{#1}}
|
|
\newcommand{\corollaryref}[1]{\namedref{Corollary}{#1}}
|
|
\newcommand{\obsref}[1]{\namedref{Observation}{#1}}
|
|
\newcommand{\lemmaref}[1]{\namedref{Lemma}{#1}}
|
|
\newcommand{\claimref}[1]{\namedref{Claim}{#1}}
|
|
\newcommand{\figureref}[1]{\namedref{Figure}{#1}}
|
|
\newcommand{\subfigureref}[2]{\hyperref[#1]{Figure~\ref*{#1}#2}}
|
|
\newcommand{\equationref}[1]{\namedref{Equation}{#1}}
|
|
\newcommand{\appendixref}[1]{\namedref{Appendix}{#1}}
|
|
\newcommand{\tabref}[1]{\namedref{Table}{#1}}
|
|
|
|
\definecolor{darkred}{rgb}{0.5, 0, 0}
|
|
\definecolor{darkgreen}{rgb}{0, 0.5, 0}
|
|
\definecolor{darkblue}{rgb}{0,0,0.5}
|
|
|
|
\hypersetup{
|
|
colorlinks=true,
|
|
linkcolor=darkred,
|
|
citecolor=darkgreen,
|
|
urlcolor=darkblue
|
|
}
|
|
|
|
\newcommand{\algn}[1]{\ensuremath{\text{\sf #1}}\xspace}
|
|
|
|
\renewcommand{\algorithmicrequire}{\textbf{Input:}}
|
|
\renewcommand{\algorithmicensure}{\textbf{Output:}}
|
|
\renewcommand{\algorithmicfor}{\textbf{For}}
|
|
|
|
\newcommand{\N}{\ensuremath{\mathbb{N}}\xspace}
|
|
\newcommand{\Z}{\ensuremath{\mathbb{Z}}\xspace}
|
|
\newcommand{\R}{\ensuremath{\mathbb{R}}\xspace}
|
|
\newcommand{\sucht}{\text{ s.t.~}}
|
|
\newcommand{\andb}{\text{ and }}
|
|
\newcommand{\orb}{\text{ or }}
|
|
\newcommand{\prob}{\text{Pr}}
|