You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
|
|
|
|
\usepackage{graphicx}
|
|
|
|
|
\usepackage{float}
|
|
|
|
|
\usepackage{amssymb}
|
|
|
|
|
\usepackage{color}
|
|
|
|
|
\usepackage{listings}
|
|
|
|
|
|
|
|
|
|
\newcommand{\id}{\text{id}}
|
|
|
|
|
\newcommand{\N}{\mathbb{N}}
|
|
|
|
|
\newcommand{\Z}{\mathbb{Z}}
|
|
|
|
|
\newcommand{\cat}[1]{\mathbf{#1}}
|
|
|
|
|
\newcommand{\Ch}[1]{\mathbf{Ch}(#1)}
|
|
|
|
|
|
|
|
|
|
\newcommand{\iso}{\cong}
|
|
|
|
|
\newcommand{\tot}[1]{\xrightarrow{\,\,{#1}\,\,}}
|
|
|
|
|
\newcommand{\eps}{\varepsilon}
|
|
|
|
|
\newcommand{\I}{\,\mid\,}
|
|
|
|
|
\newcommand{\then}{\Rightarrow}
|
|
|
|
|
\newcommand{\inject}{\hookrightarrow}
|
|
|
|
|
\newcommand{\del}{\partial}
|
|
|
|
|
|
|
|
|
|
% relative to the one who includes us :(
|
|
|
|
|
\graphicspath{ {../images/} }
|
|
|
|
|
|
|
|
|
|
\newcommand{\todo}[1]{
|
|
|
|
|
\addcontentsline{tdo}{todo}{\protect{#1}}
|
|
|
|
|
$\ast$ \marginpar{\tiny $\ast$ #1}
|
|
|
|
|
}
|
|
|
|
|
\makeatletter
|
|
|
|
|
\newcommand \listoftodos{\section*{Todo list} \@starttoc{tdo}}
|
|
|
|
|
\newcommand\l@todo[2]{
|
|
|
|
|
\par\noindent \textit{#2}, \parbox{10cm}{#1}\par
|
|
|
|
|
}
|
|
|
|
|
\makeatother
|
