deletions | additions       diff --git a/header.tex b/header.tex  index e69de29..4279e94 100644  --- a/header.tex  +++ b/header.tex 
...
% http://ctan.mirror.garr.it/mirrors/CTAN/info/symbols/comprehensive/symbols-a4.pdf  % http://detexify.kirelabs.org/classify.html  \usepackage{color}  \usepackage{listings}  % clever references  \ifdefined\noauthorea  \usepackage{cleveref}   \AtBeginDocument{\renewcommand{\ref}[1]{\Cref{#1}}}  \AtBeginDocument{\renewcommand{\eqref}[1]{\Cref{#1}}}  \fi  % commands  \ifdefined\noauthorea  \newcommand{\ifauthorea}[2]{#2}  \else  \newcommand{\ifauthorea}[2]{#1}  \fi  \newcommand{\mynote}[1]{\medskip\noindent\small[{\bf Note:} {\em #1}]}  % macros  \newcommand{\tinyvm}{{\sc Anony}}  % theorems  \newtheorem{theorem}{Theorem}  \newtheorem{lemma}{Lemma}  \newtheorem{corollary}{Corollary}  \newtheorem{definition}{Definition}  \newtheorem{property}{Property}  \newtheorem{example}{Example}  % settings  \lstset {  % backgroundcolor=\color{white}, % choose the background color; you must add \usepackage{color} or \usepackage{xcolor}  % basicstyle=\footnotesize, % the size of the fonts that are used for the code  % breakatwhitespace=false, % sets if automatic breaks should only happen at whitespace  % breaklines=true, % sets automatic line breaking  % captionpos=b, % sets the caption-position to bottom  % commentstyle=\color{mygreen}, % comment style  % deletekeywords={...}, % if you want to delete keywords from the given language  % escapeinside={\%*}{*)}, % if you want to add LaTeX within your code  % extendedchars=true, % lets you use non-ASCII characters; for 8-bits encodings only, does not work with UTF-8  % frame=single, % adds a frame around the code  keepspaces=true, % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible)  keywordstyle=\tt\bf, % keyword style  % language=Octave, % the language of the code  % otherkeywords={}, % if you want to add more keywords to the set  numbers=left, % where to put the line-numbers; possible values are (none, left, right)  numbersep=5pt, % how far the line-numbers are from the code  % numberstyle=\tiny\color{mygray}, % the style that is used for the line-numbers  % rulecolor=\color{black}, % if not set, the frame-color may be changed on line-breaks within not-black text (e.g. comments (green here))  showspaces=false, % show spaces everywhere adding particular underscores; it overrides 'showstringspaces'  showstringspaces=false, % underline spaces within strings only  showtabs=false, % show tabs within strings adding particular underscores  stepnumber=1, % the step between two line-numbers. If it's 1, each line will be numbered  % stringstyle=\color{mymauve}, % string literal style  tabsize=4, % sets default tabsize to 2 spaces  % title=\lstname, % show the filename of files included with \lstinputlisting; also try caption instead of title  basicstyle=\ttfamily,  morekeywords={in,out,if},  xleftmargin=20pt  }