deletions | additions       diff --git a/header.tex b/header.tex  index 0440841..2972eba 100644  --- a/header.tex  +++ b/header.tex 
...
\usepackage{paralist}  \hypersetup{bookmarksnumbered=true,bookmarksopen=true,colorlinks=true,urlcolor=gray,linkcolor=blue,citecolor=blue}  \usepackage{basics}  \setlength\parindent{0pt} % Contents of basics.sty:  \newcommand{\tb}{\hspace*{.5cm}}  \newcommand{\tbiff}{\tb\miff\tb}  \newcommand{\tbimpl}{\tb\impl\tb}  \newcommand{\mpag}[2]{\begin{minipage}{#1}#2\end{minipage}}  \newcommand{\mpage}[1]{\begin{minipage}{\textwidth}#1\end{minipage}}  % shortcut for centered tabular  \newenvironment{ctabular}[1]{\centering\begin{tabular}{#1}}{\end{tabular}}  \newenvironment{tabularfigure}[3]  {\def\@mycaption{#2}\def\@mylabel{#3}\begin{figure}[htb]\centering\begin{tabular}{#1}}  {\end{tabular}\caption{\@mycaption}\label{\@mylabel}\end{figure}}  %change figure/table placement  % General parameters, for ALL pages:  %\renewcommand{\topfraction}{0.9} % max fraction of floats at top  %\renewcommand{\bottomfraction}{0.8} % max fraction of floats at bottom  %Parameters for TEXT pages (not float pages):  \setcounter{topnumber}{2}  %\setcounter{bottomnumber}{2}  %\setcounter{totalnumber}{4} % 2 may work better  %\setcounter{dbltopnumber}{2} % for 2-column pages  %\renewcommand{\dbltopfraction}{0.9} % fit big float above 2-col. text  %\renewcommand{\textfraction}{0.07} % allow minimal text w. figs  %Parameters for FLOAT pages (not text pages):  %\renewcommand{\floatpagefraction}{0.7} % N.B.: floatpagefraction MUST be less than topfraction !!  %\renewcommand{\dblfloatpagefraction}{0.7}  % remember to use [htp] or [htpb] for placement  % ifnonempty{a}{b} = if (a == empty) empty else b  \newcommand{\ifnonempty}[3][]{\def\@empty{}\def\@test{#2}\ifx\@test\@empty#1\else#3\fi}  % fold{a}{b1,...,bn} = b1 a ... a bn  \newcommand{\fold}[2]{\let\@tmpop=\relax\@for\@I:=#2\do{\@tmpop\@I\let\@tmpop=#1}}  \renewcommand{\epsilon}{\varepsilon}  \renewcommand{\phi}{\varphi}  \renewcommand{\theta}{\vartheta}  \newcommand{\N}{\mathbb{N}}  \newcommand{\n}{\mathbb{N}^*}  \newcommand{\R}{\mathbb{R}}  \newcommand{\Q}{\mathbb{Q}}  \newcommand{\Z}{\mathbb{Z}}  \newcommand{\app}{\approx}  \newcommand{\sq}{\subseteq}  \newcommand{\impl}{\Rightarrow}  \newcommand{\Arr}{\Rightarrow}  \newcommand{\Darr}{\Leftrightarrow}  \newcommand{\arr}{\rightarrow}  \newcommand{\larr}{\leftarrow}  \newcommand{\darr}{\leftrightarrow}  \newcommand{\harr}{\hookrightarrow}  \newcommand{\marr}{\mapsto}  \newcommand{\caret}{\hat{\;}}  \newcommand{\nin}{\not\in}  \newcommand{\sm}{\setminus}  \newcommand{\es}{\varnothing}  \newcommand{\pwr}{\mathcal{P}}  \newcommand{\rewrites}{\rightsquigarrow}  %semantics of genfrac: #1, #2 delimiters; #3 line tickness; #4 scriptsize (0-3); #5, #6 items  \newcommand{\myatop}[3][]{\genfrac{}{}{0pt}{#1}{#2}{#3}} %two items on top of each other, optional argument: 0-3 for normal-small script  \newcommand{\myatopp}[3]{\myatop{\myatop[0]{#1}{#2}}{#3}} %three items on top of each other  \newcommand{\myatoppp}[4]{\myatop{\myatop[0]{\myatop[0]{#1}{#2}}{#3}}{#4}} %four items on top of each other  \newcommand{\ov}[1]{\overline{#1}}  \newcommand{\und}[1]{\underline{#1}}  \newcommand{\cas}[1]{\begin{cases}#1\end{cases}}  \newcommand{\bcas}[1]{\left.\cas{#1}\right\}}  \newcommand{\mifc}{&\mathrm{if}\;}  \newcommand{\mothw}{&\mathrm{otherwise}}  \newcommand{\mathll}[2][l]{\providecommand{\nl}[1][.2cm]{\\[##1]}\begin{array}{#1}#2\end{array}}  \newcommand{\eqns}[2][=]{\providecommand{\nl}[1][.2cm]{\\[##1]}\begin{array}{l@{\;#1\;}l@{\tb}l}#2\end{array}}  \newcommand{\Ceq}[1]{\;\stackrel{#1}{=}\;}  \newcommand{\op}[1]{\mathit{#1}}  \newenvironment{myeqnarray}[1][=] %\nl for new line right of the = symbol  {\newcommand{\nl}{\\\multicolumn{1}{c}{}&}\begin{equation*}\begin{array}{l@{\;#1\;}l@{\tb}l}}  {\end{array}\end{equation*}}  \newcommand{\rul}[3][]{\frac{#2}{#3}#1}  %Mathematical Text  \newcommand{\mof}{\;\mathrm{of}\;}  \newcommand{\mif}{\;\mathrm{if}\;}  \newcommand{\mthen}{\;\mathrm{then}\;}  \newcommand{\mfor}{\;\mathrm{for}\;}  \newcommand{\mand}{\;\mathrm{and}\;}  \newcommand{\msome}{\;\mathrm{some}\;}  \newcommand{\mall}{\;\mathrm{all}\;}  \newcommand{\mforall}{\;\mathrm{for}\;\mathrm{all}\;}  \newcommand{\mforsome}{\;\mathrm{for}\;\mathrm{some}\;}  \newcommand{\mnot}{\;\mathrm{not}\;}  \newcommand{\mno}{\;\mathrm{no}\;}  \newcommand{\mor}{\;\mathrm{or}\;}  \newcommand{\minn}{\;\mathrm{in}\;}  \newcommand{\mwith}{\;\mathrm{with}\;}  \newcommand{\mwhere}{\;\mathrm{where}\;}  \newcommand{\mexists}{\;\mathrm{exists}\;}  \newcommand{\miff}{\;\mathrm{iff}\;}  \newcommand{\mimplies}{\;\mathrm{implies}\;}  \newcommand{\msuchthat}{\;\mathrm{such}\;\mathrm{that}\;}  \newcommand{\motherwise}{\;\mathrm{otherwise}\;}  \newcommand{\mtext}[1]{\;\mathrm{#1}\;}  %categories, general  \newcommand{\id}[1]{\op{id}_{#1}}  \newcommand{\ö}[2]{{#2}\circ {#1}}  \newcommand{\oo}[3]{{#3}\circ {#2}\circ {#1}}  \newcommand{\ooo}[4]{{#4}\circ {#3}\circ {#2}\circ {#1}}  \newcommand{\obj}[1]{|#1|}  \newcommand{\sli}[2]{#1\backslash #2}  \newcommand{\slii}[2]{#1/#2}  \newcommand{\catop}[1]{{{#1}^{op}}}  \newcommand{\catfont}[1]{\mathcal{#1}}  \newcommand{\Set}{\catfont{SET}}  \newcommand{\Cat}{\catfont{CAT}}  \newcommand{\Poset}{\catfont{POSET}}  \newcommand{\Rel}{\catfont{REL}}  \newcommand{\Class}{\catfont{CLASS}}  \newcommand{\Ins}{\catfont{INS}}  \newcommand{\Logics}{\catfont{LOG}}  %for tikz  \newcommand{\arrowtip}{angle 45}  \newcommand{\arrowtipepi}{triangle 45}  \newcommand{\arrowtipmono}{right hook}  \newcommand{\refledge}[2]{(#1) .. controls +(-.5,.75) and +(.5,.75) .. node[above]{#2} (#1)} % reflexive edge  %institutions  \newcommand{\I}{\mathbb{I}}  \newcommand{\insfont}[1]{\mathbf{#1}}  \newcommand{\Sig}[1][]{{\insfont{Sig}^{#1}}}  \newcommand{\Con}[1][]{{\insfont{Con}^{#1}}}  \newcommand{\Sen}[1][]{{\insfont{Sen}^{#1}}}  \newcommand{\Mod}[1][]{{\insfont{Mod}^{#1}}}  \newcommand{\Pf}[1][]{{\insfont{Pf}\,^{#1}}}  \newcommand{\Th}[1][]{{\insfont{Th}^{#1}}}  \newcommand{\Syn}[1][]{{\insfont{Syn}^{#1}}}  \newcommand{\Jud}[1][]{{\insfont{Jud}^{#1}}}  \newcommand{\der}{\vdash}  \newcommand{\dera}[4][]{#2\der^{#1}_{#3}#4}  \newcommand{\moda}[4][]{#2\models^{#1}_{#3}#4}  \newcommand{\nmoda}[4][]{#2\not\models^{#1}_{#3}#4}