preamble.tex

% !TEX root = main.tex
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage{microtype}
\hyphenpenalty=750
\usepackage[style=alphabetic]{biblatex}

\usepackage{amsmath,amsthm}
\usepackage{thmtools}
\usepackage{libertine}
\usepackage[libertine]{newtxmath}
\usepackage{inconsolata}
\usepackage{soul}

\usepackage[shortlabels]{enumitem}
%\usepackage{tikz}
%\usetikzlibrary{positioning}
%\usetikzlibrary{shapes.geometric}
\usepackage{graphicx}
\usepackage{lastpage}
\usepackage{fancyvrb}
\usepackage{xfrac}
\usepackage{xspace}
\usepackage[section]{placeins} % do not move figures across sections
\usepackage[usenames,dvipsnames]{xcolor}

\usepackage{bashful}

\usepackage{multirow}

\usepackage{framed}
\usepackage{environ}
\usepackage{multicol}
\newcommand{\TODO}[1]{}
\usepackage{pdflscape}


\usepackage{etoolbox}
\usepackage{xparse}

\usepackage{hyperref}
\usepackage{csquotes}

\def\headrulewidth{0mm}%
\def\footrulewidth{0mm}%
\setlength{\headheight}{22pt}


\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{conjecture}[theorem]{Conjecture}
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
 
\theoremstyle{remark}
\newtheorem*{remark}{Remark}

% Claim needs some special attention to look how I like them
\newtheoremstyle{claimstyle}%
{}{}{}{}{}%
{}% punctuation between head and body
{ }%space after theorem head; " " = normal interword space
{\underline{\thmname{#1}\thmnumber{ #2}:}\thmnote{ #3}}%

\theoremstyle{claimstyle}
\newtheorem{claim}{Claim}
% Reset claim counter for each proof
\AtEndEnvironment{proof}{\setcounter{claim}{0}}

% define claimproof environment that looks like I want it
\newenvironment{claimproof}[1][\underline{\textnormal{\proofname}}]%
{\proof[#1]%
\renewcommand*\qedsymbol{\ensuremath{\blacksquare}}}
{%
\endproof%
}

\providecommand*{\listingautorefname}{Listing}
\providecommand*{\conjectureautorefname}{Conjecture}

\urlstyle{rm}

% Abstand obere Blattkante zur Kopfzeile ist 2.54cm - 15mm
\setlength{\topmargin}{-15mm}

% number equations with sections
\numberwithin{equation}{section}

% a verbatim environment to my liking
\DefineVerbatimEnvironment{codeverbatim}{Verbatim}{fontsize=\small,frame=single,gobble=8,commandchars=\\\{\},codes={\catcode`$=3\catcode`^=7\catcode`_=8\everymath\expandafter{\the\everymath\verbmathspace}}}
%codes={\catcode`$=3\catcode`^=7\catcode`_=8}}
\newenvironment{code}[1]{%
\VerbatimEnvironment
\begin{codeverbatim}[label=\textbf{#1}]%
}
{\end{codeverbatim}}


% einige Abkuerzungen
\newcommand\ddfrac[2]{\frac{\displaystyle #1}{\displaystyle #2}}
\newcommand*{\alg}[1]{\textup{\textrm{\textsc{#1}}}}
\newcommand*{\NP}{\textbf{NP}\xspace}
\DeclareMathOperator{\N}{\mathbb{N}}
\DeclareMathOperator{\R}{\mathbb{R}}
% Someone is already declaring \G
\let\G\undefined
\DeclareMathOperator{\G}{\mathbb{G}}
% Someone is already declaring \P
\let\P\undefined
\DeclareMathOperator{\P}{\mathbb{P}}
\DeclareMathOperator{\Z}{\mathbb{Z}}
%\DeclareMathOperator{\E}{\mathbb{E}}
\DeclareMathOperator{\F}{\mathcal{F}}
% Someone is already declaring \H
\let\H\undefined
\DeclareMathOperator{\H}{\mathcal{H}}
\DeclareMathOperator{\E}{\mathcal{E}}
\DeclareMathOperator{\D}{\mathcal{D}}
\DeclareMathOperator{\T}{\mathcal{T}}
\DeclareMathOperator{\SD}{\mathcal{SD}}
% Someone is already declaring \S
\let\S\undefined
\DeclareMathOperator{\S}{\mathcal{S}}
\DeclareMathOperator{\A}{\mathcal{A}}
\DeclareMathOperator{\B}{\mathcal{B}}
\let\C\undefined
\DeclareMathOperator{\C}{\mathcal{C}}
\DeclareMathOperator{\ST}{\mathcal{ST}}
\DeclareMathOperator{\X}{\mathcal{X}}
\DeclareMathOperator{\Var}{\mathbb{V}ar}
\DeclareMathOperator{\xor}{\oplus}
\let\P\undefined
\DeclareMathOperator{\P}{\mathcal{P}}
% nicer enumerate
\renewcommand{\labelenumi}{(\arabic{enumi})}

% TODO delete
%\usepackage{lipsum}