header.tex

% Packages
\usepackage[T1]{fontenc}
\usepackage{hyperref} %\usepackage[hidelinks]{hyperref}

% break long URLs
\def\UrlBreaks{\do\/\do-}

%\usepackage[disable]{todonotes}
\usepackage{todonotes}

\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{xspace}
\usepackage{graphicx}
\usepackage{fancyvrb}
\usepackage[super]{nth}
%\usepackage{enumitem}
%\usepackage{relsize}
%\usepackage{wrapfig}
\usepackage{multirow}
%\usepackage{enumitem}

% % Theorems
% \usepackage{amsthm}
% \newtheorem{theorem}{Theorem}
% \newtheorem{lemma}{Lemma}
% \newtheorem{corollary}{Corollary}
% \newtheorem{proposition}{Proposition}
% \newtheorem{definition}{Definition}
% \newtheorem{question}{Question}
% \newtheorem{example}{Example}

% General
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\renewcommand{\i}{\item}
\newcommand{\OR}{\;|\;}
\newcommand{\etal}{\textit{et al.}\xspace}
\renewcommand{\th}{\ensuremath{{\m{th}}}}
\newcommand{\w}[1]{\ensuremath{\textit{#1}}}
\renewcommand{\t}[1]{\ensuremath{\texttt{#1}}}
\newcommand{\m}[1]{\ensuremath{\textrm{#1}}}
\newcommand{\s}[1]{\ensuremath{\textsf{#1}}}
\newcommand{\p}[1]{\ensuremath{\left(#1\right)}}
\newcommand{\pl}[1]{\ensuremath{\left\langle#1\right\rangle}}
\newcommand{\finto}{\ensuremath{\stackrel{\mathtt{fin}}{\longrightarrow}}}
\newcommand{\defeq}{\ensuremath{\stackrel{\mathtt{def}}{=}}}
\newcommand{\cond}[1]{\ensuremath{\left\{\begin{array}{ll} #1 \end{array}\right.}}
\newcommand{\lst}[1]{\begin{itemize} {#1} \end{itemize}}
\newcommand{\tlist}[2]{\paragraph{#1} \begin{itemize} {#2} \end{itemize}}
\newcommand{\floor}[1]{\ensuremath{\left\lfloor {#1} \right\rfloor}}
\newcommand{\ceil}[1]{\ensuremath{\left\lceil {#1} \right\rceil}}
\newcommand{\get}{\leftarrow}
\newcommand{\dom}{\ensuremath{\textit{dom}}\xspace}
\newcommand{\sem}[1]{\ensuremath{[\![{#1}]\!]}}

% Specific
\newcommand{\E}{\ensuremath{\mathsf{E}}}
\newcommand{\twothird}{\ensuremath{\frac{2}{3}}}
\newcommand{\ST}{\ensuremath{\w{SV}}}
\newcommand{\T}{\ensuremath{\mathcal{S}}}