01Preamble.tex

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Some custom packages
%%
\RequirePackage{amsmath}
\RequirePackage{amsfonts}
\RequirePackage{amssymb}
\RequirePackage{stmaryrd}
\RequirePackage{xspace}
\RequirePackage{minted}
\RequirePackage{cleveref}
\RequirePackage{syntax}

\RequirePackage{tikz}
\usetikzlibrary{snakes,arrows,shapes}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Minted stuff

\newminted{java}{linenos}
\newmint{java}{linenos}
\newmintinline{java}{}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Fonts (like different typewriter fonts etc.)
%%
%\RequirePackage[scaled=.87]{couriers}
\RequirePackage[utf8]{inputenc}
\RequirePackage[T1]{fontenc}
%\renewcommand\rmdefault{psb}




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Style (Changing the visual style of chapter headings and stuff.)
%%
\RequirePackage{titlesec}
\newcommand{\PreContentTitleFormat}{\titleformat{\chapter}[display]{\scshape\Large}
{\Large\filleft\MakeUppercase{\chaptertitlename} \Huge\thechapter}
{1ex}
{}
[\vspace{1ex}\titlerule]}
\newcommand{\ContentTitleFormat}{\titleformat{\chapter}[display]{\scshape\huge}
{\Large\filleft\MakeUppercase{\chaptertitlename} \Huge\thechapter}
{1ex}
{\titlerule\vspace{1ex}\filright}
[\vspace{1ex}\titlerule]}
\newcommand{\PostContentTitleFormat}{\PreContentTitleFormat}
\PreContentTitleFormat




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Bibliography (special style etc.)
%%
\RequirePackage[numbers,sort&compress]{natbib}




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Theorems, definitions, and examples
%%
\RequirePackage{amsthm}
\newtheorem{theorem}{Theorem}[chapter]
\theoremstyle{definition}
\newtheorem{definition}{Definition}[chapter]
\newtheorem{algorithm}{Algorithm}[chapter]
\theoremstyle{remark}
\newtheorem{remark}{Remark}[chapter]
%% Support for `Examples` (provides a counter for examples, the possibility to
%% label and reference them etc.)
%%
\newtheorem{example}{Example}[chapter]




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Captions: This makes captions of figures use a boldfaced small font. 
%%
\RequirePackage[small,bf]{caption}




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Subfigure (note: this must be included after the `caption` package). 
%%
\RequirePackage{subfig}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Content commands
%%
\RequirePackage{enumitem}
 \newenvironment{case}{%
 \let\olditem\item% 
 \renewcommand\item[1][]{\olditem \textbf{##1} \\}%
 \begin{enumerate}[label=\textbf{Case \arabic*:},itemindent=*,leftmargin=0em]}{\end{enumerate}%
 }

\RequirePackage{bcprules}
\RequirePackage{booktabs}

\newcommand{\Dom}{\operatorname{Dom}}
\newcommand{\Matching}{\operatorname{access}}


%%%% FONTS
\RequirePackage{fontspec}      % support opentype text fonts
\RequirePackage{unicode-math}  % support opentype math fonts

\setmainfont[% main rm
  Path=lucidaot/,
  Ligatures=TeX,
      ItalicFont=LucidaBrightOT-Italic.otf,
        BoldFont=LucidaBrightOT-Demi.otf,
  BoldItalicFont=LucidaBrightOT-DemiItalic.otf,
  ]{LucidaBrightOT.otf}
%
\setsansfont[% main sans
  Path=lucidaot/,
  Ligatures=TeX,
      ItalicFont=LucidaSansOT-Italic.otf,
        BoldFont=LucidaSansOT-Demi.otf,
  BoldItalicFont=LucidaSansOT-DemiItalic.otf,
  ]{LucidaSansOT.otf}



\setmonofont[% main typewriter
      Path=lucidaot/,
      ItalicFont=LucidaSansTypewriterOT-Oblique.otf,
        BoldFont=LucidaSansTypewriterOT-Bold.otf,
  BoldItalicFont=LucidaSansTypewriterOT-BoldOblique.otf,
  ]{LucidaSansTypewriterOT.otf}
%
\setmathfont[Path=lucidaot/,RawFeature={+ss01}]{LucidaBrightMathOT.otf}
\setmathfont[Path=lucidaot/,RawFeature={+ss01},version=bold]{LucidaBrightMathOT-Demi}
\setmathfont[range={\mathcal,\mathbfcal},Path=lucidaot/]{LucidaCalligraphyOT.otf}
% %
% % The specialized one-off fonts:
\newfontface\LucidaBlackletter[Path=lucidaot/]{LucidaBlackletterOT.otf}
\newfontface\LucidaCalligraphy[Path=lucidaot/]{LucidaCalligraphyOT.otf}
\newfontface\LucidaHandwriting[Path=lucidaot/]{LucidaHandwritingOT.otf}