X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=preamble.tex;h=984b7fa24b0c15aeb0e8fe04f53060b6d208c53d;hb=0c4686b70dcb071a6537cdb52beb6bf4183334a1;hp=d88dfc6f25f8c89ec7ab9caa569285bb456db3e4;hpb=f14909a1fc10adc898c994bbf0c67a98b03ebcd4;p=phd-thesis.git

diff --git a/preamble.tex b/preamble.tex
index d88dfc6..984b7fa 100644
--- a/preamble.tex
+++ b/preamble.tex
@@ -1,7 +1,31 @@
-% Input encoding
-\usepackage[utf8]{inputenc}
+% chktex-file 17
+% chktex-file 15
+% Fonts
+\usepackage[utf8]{inputenc} % Input encoding
+\usepackage[T2A,T1]{fontenc}    % Font encoding
+\usepackage{lmodern}        % Nicer font
+\usepackage{microtype}      % Better kerning
+\usepackage{tipa}           % IPA symbols
+\usepackage{stmaryrd}       % short arrows
+\usepackage{textcomp}       % upquote
+\usepackage{titlecaps}      % titlecase commands
+\usepackage{amsmath}        % extra math
+\usepackage{amssymb}        % extra math symbols
+\usepackage{relsize}        % \smaller command
+\usepackage{siunitx}        % typeset units
+\usepackage{xcolor}         % colors
+\DeclareSIUnit\noop{\relax}
+\DeclareSIUnit\celcius{{}^{\circ}\kern-\scriptspace\mathsf{C}}
+\everymath{\it\/}
+\DeclareMathSymbol{\shortminus}{\mathbin}{AMSa}{"39} %chktex 18
+\newcommand{\dcolon}[0]{\mathbin{::}}
 
-% Papersize
+% Internationalisation
+\usepackage[dutch,russian,british]{babel}
+\input{hyphenation}
+%\babelfont[russian]{rm}{Liberation Serif}
+
+% Papersize and layout
 \usepackage{geometry}
 \geometry{
 	inner=25mm,
@@ -13,73 +37,148 @@
 	paperwidth=17cm,
 	paperheight=24cm,
 }
+\usepackage{pdflscape}
+\usepackage{float}
+\usepackage{fancyhdr} % Custom headers and footers
+%\pagestyle{headings}
+\pagestyle{fancy}
+\fancyhead{}
+\fancyfoot{}
+\setlength{\unitlength}{18mm}
+\newcommand{\blob}{{\color{gray}\rule[-.2\unitlength]{2\unitlength}{.5\unitlength}}}
+\fancyhead[RE]{\rightmark}
+\fancyhead[LO]{\leftmark}
+\newcommand{\frontmatterfancy}[0]{
+	\fancyhead[RO]{\thepage}
+	\fancyhead[LE]{\thepage}
+}
+\newcommand{\mainmatterfancy}[0]{
+	\fancyhead[RO]{
+		\thepage%
+		\begin{picture}(0,0)
+			\put(1,-\value{chapter}){\blob}
+		\end{picture}
+	}
+	\fancyhead[LE]{
+		\begin{picture}(0,0)
+			\put(-3,-\value{chapter}){\blob}
+		\end{picture}%
+		\thepage%
+	}
+}
+\newcommand{\backmatterfancy}[0]{
+	\fancyhead[RO]{
+		\thepage%
+		\begin{picture}(0,0)
+			\put(1,-1){\blob}
+		\end{picture}
+	}
+	\fancyhead[LE]{
+		\begin{picture}(0,0)
+			\put(-3,-1){\blob}
+		\end{picture}%
+		\thepage%
+	}
+}
+\renewcommand{\chaptermark}[1]{\markboth{\chaptername\ \thechapter.\ #1}{}}
+\renewcommand{\sectionmark}[1]{\markright{\thesection.\ #1}}
+%\renewcommand{\chaptermark}[1]{\markboth{\MakeUppercase{\chaptername}\ \thechapter.\ #1}{}}
+%\renewcommand{\headrulewidth}{0pt}
+\renewcommand{\footrulewidth}{0pt}
+\usepackage{etoolbox} % To patch the chapter command
+% Have better page numbering in chapters
+\patchcmd{\chapter}{plain}{headings}{}{}
+\usepackage{epigraph} % Epigraph
+\renewcommand\partname{Movement}                   % Rename parts to movements (rhapsody uhu)
+\addto\captionsbritish{\renewcommand{\partname}{Movement}}
+\usepackage{titlesec}
+\titleformat{\part}[block]
+	{\Huge}
+	{\partname~\thepart:}
+	{20pt}
+	{}
+% This is required to make \nameref work (https://tex.stackexchange.com/questions/211035/problems-with-nameref-not-refering-to-the-correct-label-x-titlesec)
+\makeatletter
+\let\titlesec@part\part%
+\renewcommand{\part}{\@ifstar\part@star\part@nostar}
+\def\part@star#1{\NR@gettitle{#1}\titlesec@part*{#1}}
+\def\part@nostar{\@ifnextchar[\part@nostar@opt\part@nostar@nopt} % chktex 9
+\def\part@nostar@nopt#1{\NR@gettitle{#1}\titlesec@part{#1}}
+\def\part@nostar@opt[#1]#2{\NR@gettitle{#1}\titlesec@part[#1]{#2}}
+\makeatother
+\newenvironment{chapterabstract}{\begin{quotation}}{\end{quotation}}
 
-% Font encoding
-\usepackage[T1,T2A]{fontenc}
-
-% standalone figures
-\usepackage[subpreambles=true]{standalone}
-
-% Less bad boxes
-\usepackage{microtype}
-
-% No more room for a new \write
-\usepackage{morewrites}
-
-% Internationalisation
-\usepackage[dutch,russian,british]{babel}
-%\babelfont[russian]{rm}{Liberation Serif}
+% Increase the depth for the table of contents
+\setcounter{secnumdepth}{3}
+\renewcommand{\contentsname}{Table of Contents} % change the name of the TOC
+\AtBeginDocument{\addtocontents{toc}{\protect\thispagestyle{empty}}} % to remove page numbering from the TOC
 
-% Appendices
-% TODO is this necessary?
-%\usepackage[titletoc]{appendix}
+% (file) structure
+\usepackage[subpreambles=true]{standalone} % standalone figures
+%\usepackage{morewrites}                    % fix no more room for a new \write
+\usepackage{appendix}                      % subappendices, appendices per chapter
 
-% Hyperlinks
-%\usepackage[pagebackref]{hyperref}
-\usepackage[pagebackref]{hyperref}
-% Setup pdf parameters: TODO
-\hypersetup{%
-	pdftitle={\mytitle},
-	pdfauthor={\myauthor},
-	pdfsubject={},
-%	pdfcreator={},
-%	pdfproducer={},
-	pdfkeywords={task-oriented programming, functional programming, domain specific languages, internet of things},
-	hidelinks,
-}
-\urlstyle{same}
+% Bibliography
+\usepackage{natbib} % Cite bib entry completely
+\setlength{\bibsep}{0.0pt}
+\def\bibfont{\small}
+%\bibliographystyle{alpha}
+\bibliographystyle{abbrvnat}
+\apptocmd{\thebibliography}{\raggedright}{}{}
+\usepackage{bibentry} % Cite bib entry completely
+\nobibliography*
+\newcommand{\citeentry}[1]{\begin{NoHyper}\bibentry{#1}\end{NoHyper}. \citep{#1}}
 
+\makeatletter
+\newcommand{\citepage}[1]{p.~#1}
+\newcommand{\citepages}[1]{pp.~#1}
+\newcommand{\citechapter}[1]{\cref@chapter@name~#1}
+\newcommand{\citechapters}[1]{\cref@chapter@name@plural~#1}
+\newcommand{\citesection}[1]{\cref@section@name~#1}
+\newcommand{\citesections}[1]{\cref@section@name@plural~#1}
+%\newcommand{\citesection}[1]{\S.~#1}
+%\newcommand{\citesections}[1]{\S\S.~#1}
+\newcommand{\citeparagraph}[1]{\P.~#1}
+\newcommand{\citeparagraphs}[1]{\P\P.~#1}
+\makeatother
 
 % Graphics
-\usepackage{graphicx}
-% Images directory
-\graphicspath{{img/}}
-%subfigures
-\usepackage{caption}
+\usepackage{graphicx} % Images
+\graphicspath{{img/},{intro/img},{top/img},{tvt/img}}
+\usepackage{caption}  % subfigures
 \usepackage{subcaption}
+\usepackage{rotating}
+\newcommand{\orcid}[1]{\href{https://orcid.org/#1}{\hspace{1mm}\includegraphics[width=1em]{orcid}\hspace{2mm} https://orcid.org/#1}}
+\usepackage{tikz}
 
-% Nice tables
-\usepackage{booktabs}
-
-% Automatically wrapping tables
-\usepackage{tabularx}
-
-% Use a fixed document date
-\usepackage[nodayofweek]{datetime}
+% Tables
+\usepackage{booktabs}  % Nicer tables
+\usepackage{multirow}  % Multirow cells
+\usepackage{tabularx}  % Automatically wrapping tables
+\usepackage{longtable} % Tables spanning pages
+\usepackage{threeparttable} % Tables with footnotes
 
 % Code
-\usepackage{stmaryrd}                         % Short arrow
+% Pseudocode
+\usepackage[algochapter]{algorithm2e}
+% Fix the algorithm font
+\renewcommand\AlCapFnt{\normalfont}
 \usepackage{listings}
+% https://tex.stackexchange.com/questions/149056/how-can-i-define-additional-literate-replacements-without-deleting-existing-ones
+\makeatletter
+\def\addToLiterate#1{\edef\lst@literate{\unexpanded\expandafter{\lst@literate}\unexpanded{#1}}}
+\lst@Key{moreliterate}{}{\addToLiterate{#1}}
+\makeatother
 % General listings settings
 \lstset{%
-	basewidth=0.45em,
-	basicstyle=\linespread{0.9}\tt\footnotesize,
+	basewidth=0.5em,
+	basicstyle=\tt\small,
 	breakatwhitespace=false,
 	breaklines=true,
 	captionpos=b,
 	columns=[c]fixed,
 	commentstyle=\sl,
-	escapeinside={(+}{+)},  % chktex 9
+	escapeinside={[+}{+]},  % chktex 9
 	frame=L,
 	keepspaces=true,
 	keywordstyle=\bf,
@@ -89,40 +188,27 @@
 	showtabs=false,
 	stringstyle=\it,
 	tabsize=4,
-%	literate=%
-%		{a0}{{a\textsubscript{0}}}2
-%		{a1}{{a\textsubscript{1}}}2
-%		{a2}{{a\textsubscript{2}}}2
-%%		{an}{{a\textsubscript{n}}}2
-%		{c0}{{c\textsubscript{0}}}2
-%		{c1}{{c\textsubscript{1}}}2
-%		{c2}{{c\textsubscript{2}}}2
-%		{cn}{{c\textsubscript{n}}}2
-%		{f0}{{f\textsubscript{0}}}2
-%		{f1}{{f\textsubscript{1}}}2
-%		{f2}{{f\textsubscript{2}}}2
-%		{fn}{{f\textsubscript{n}}}2
-%		{t0}{{t\textsubscript{0}}}2
-%		{t1}{{t\textsubscript{1}}}2
-%		{t2}{{t\textsubscript{2}}}2
-%		{tn}{{t\textsubscript{n}}}2
-%		{v0}{{v\textsubscript{0}}}2
-%		{v1}{{v\textsubscript{1}}}2
-%		{v2}{{v\textsubscript{2}}}2
-%		{vn}{{v\textsubscript{n}}}2
-%		{C0}{{C\textsubscript{0}}}2
-%		{C1}{{C\textsubscript{1}}}2
-%		{C2}{{C\textsubscript{2}}}2
-%		{Cn}{{C\textsubscript{n}}}2
-%		{R0}{{R\textsubscript{0}}}2
-%		{R1}{{R\textsubscript{1}}}2
-%		{R2}{{R\textsubscript{2}}}2
-%		{Rn}{{R\textsubscript{n}}}2
+	upquote=true,
+	numberstyle=\tiny,
 }
 \usepackage{lstlangclean}
 \usepackage{lstlanghaskell}
+\usepackage{lstlangarduino}
+\lstloadlanguages{%
+	{[Arduino]C++},%
+	{c},%
+	{Python},%
+	{Clean},%
+	{[Regular]Haskell},
+	{[Lhs2Tex]Haskell}}
+\newcommand{\cinline}[1]{\lstinline[language=c,postbreak=]|#1|}
+\newcommand{\arduinoinline}[1]{\lstinline[language={[Arduino]C++},postbreak=]|#1|}
+\newcommand{\pythoninline}[1]{\lstinline[language=Python,postbreak=]|#1|}
 \newcommand{\cleaninline}[1]{\lstinline[language=Clean,postbreak=]|#1|}
-\newcommand{\haskellinline}[1]{\lstinline[language=Haskell,style=haskell,postbreak=]|#1|}
+\newcommand{\haskellinline}[1]{\lstinline[language={[Regular]Haskell},postbreak=]|#1|}
+\newcommand{\haskelllhstexinline}[1]{\lstinline[language={[Lhs2Tex]Haskell},postbreak=]|#1|}
+%For storing listings in footnotes
+\newsavebox{\LstBox}
 % Fix list of listings title
 \renewcommand{\lstlistlistingname}{List of Listings}
 % Fix list of listings chapter separator
@@ -133,33 +219,77 @@
   \my@chapter}
 \makeatother
 
+\lstnewenvironment{lstPython}[1][]
+	{% 
+		\lstset{language=Python, #1}
+		\renewcommand*{\lstlistingname}{Listing (\gls{PYTHON})}
+	}
+	{}
 \lstnewenvironment{lstClean}[1][]
 	{% 
 		\lstset{language=Clean, #1}
-		\renewcommand*{\lstlistingname}{Listing (Clean)}
+		\renewcommand*{\lstlistingname}{Listing (\gls{CLEAN})}
+	}
+	{}
+\lstnewenvironment{lstArduino}[1][]
+	{% 
+		\lstset{language={[Arduino]C++}, #1}
+		\renewcommand*{\lstlistingname}{Listing (\gls{ARDUINO})}
 	}
 	{}
 \lstnewenvironment{lstHaskell}[1][]
 	{%
-		\lstset{language=Haskell,style=haskell,#1}%
-		\renewcommand*{\lstlistingname}{Listing (Haskell)}
+		\lstset{language={[Regular]Haskell},#1}%
+		\renewcommand*{\lstlistingname}{Listing (\gls{HASKELL})}
+	}
+	{}
+\lstnewenvironment{lstHaskellLhstex}[1][]
+	{%
+		\lstset{language={[Lhs2Tex]Haskell},#1}%
+		\renewcommand*{\lstlistingname}{Listing (\gls{HASKELL})}
 	}
 	{}
 
+% Hyperlinks and metadata
+\usepackage[pdflang={en-GB},pagebackref]{hyperref} % hyperlinks
+\usepackage{xr} % hyperlinks
+\renewcommand*{\backref}[1]{}
+\renewcommand*{\backrefalt}[4]{[{%
+	\ifcase #1 not cited.\or p.~#2.\else pp. #2.\fi%chktex 1
+}]}
+\hypersetup{%
+	pdftitle={\mytitle},
+	pdfauthor={\myauthor},
+	pdfkeywords={task-oriented programming, functional programming, domain specific languages, internet of things},
+	hidelinks,
+}
+\usepackage[nodayofweek]{datetime} % Use a fixed document date
+\urlstyle{same}
+\usepackage{bookmark}
+\usepackage[noabbrev]{cleveref} % Easy references
+\crefname{part}{movement}{movements}
+\crefname{lstlisting}{listing}{listings}
+\usepackage{nameref} % to reference names of chapters
+\newcommand{\fullref}[1]{\Cref{#1}: \nameref{#1}}
+
 % Glossaries and acronyms
-\usepackage[acronym,nonumberlist]{glossaries}
+\usepackage[nolangwarn,acronym,nonumberlist]{glossaries-extra}
+\Addlcwords{of}
+% Titlecase glossary commands
+\newcommand{\glst}[1]{\titlecap{\glsentrylong{#1}}}
+\newcommand{\Glst}[1]{\glst{#1}}
 % Fix gls in hyperlink errors
 \pdfstringdefDisableCommands{%
-	\def\acrlong#1{}%
-	\def\acrlongpl#1{}%
-	\def\acrshort#1{}%
-	\def\acrshortpl#1{}%
+	\def\glsxtrlong#1{}%
+	\def\glsxtrlongpl#1{}%
+	\def\glsxtrshort#1{}%
+	\def\glsxtrshortpl#1{}%
 	\def\acrfull#1{}%
 	\def\acrfullpl#1{}%
-	\def\Acrlong#1{}%
-	\def\Acrlongpl#1{}%
-	\def\Acrshort#1{}%
-	\def\Acrshortpl#1{}%
+	\def\Glsxtrlong#1{}%
+	\def\Glsxtrlongpl#1{}%
+	\def\Glsxtrshort#1{}%
+	\def\Glsxtrshortpl#1{}%
 	\def\Acrfull#1{}%
 	\def\Acrfullpl#1{}%
 	\def\gls#1{}%
@@ -170,75 +300,39 @@
 	\def\Glsentrytext#1{}%
 	\def\titlecap#1{}%
 }
-
-% Titlecase commands
-\usepackage{titlecaps}
-\Addlcwords{of}
-% Titlecase glossary command
-\newcommand{\glst}[1]{\titlecap{\glsentrylong{#1}}}
-\newcommand{\Glst}[1]{\glst{#1}}
-
-% Pseudocode
-\usepackage[algochapter]{algorithm2e}
-% Fix the algorithm font
-\renewcommand\AlCapFnt{\normalfont}
+\usepackage{glossary-mcols}
 
 % Index
-\usepackage{makeidx}
-% Enable the index
-\makeindex%
+%\usepackage{makeidx}
+%\makeindex% Enable the index
 
 % Custom enumerations
 \usepackage[inline,shortlabels]{enumitem}
 \setlist{noitemsep}
 \setlist[description]{leftmargin=\parindent}
 
-% Epigraph
-\usepackage{epigraph}
-
-% Thumb marks on the page
-\usepackage[
-	height={1.5cm},
-	width={12mm},
-	distance={1.55cm},
-	topthumbmargin={auto},
-	bottomthumbmargin={auto},
-	eventxtindent={.5cm},
-	oddtxtexdent={.3cm}]{thumbs}
-
-% Custom headers and footers
-\usepackage{fancyhdr}
-\pagestyle{fancy}
-
-% Tables spanning pages
-\usepackage{longtable}
-
-% Easy references
-\usepackage{cleveref}
-
-% To patch the chapter command
-\usepackage{etoolbox}
-% Have better page numbering in chapters
-\patchcmd{\chapter}{plain}{headings}{}{}
-
-% Increase the depth for the table of contents
-\setcounter{secnumdepth}{3}
-\renewcommand{\contentsname}{Table of Contents} % change the name of the TOC
-\AtBeginDocument{\addtocontents{toc}{\protect\thispagestyle{empty}}} % to remove page numbering from the TOC
-
 % Initialize the glossaries
 \makeglossaries%
 \input{glossaries}
 
+\usepackage{subfiles}
+
+\ifSubfilesClassLoaded{}{
+	\usepackage{xmpincl}
+	\includexmp{CC_Attribution-NoDerivatives_4.0_International}
+}
+
 % Custom commands
 \newcommand{\GHCmod}[1]{\texttt{#1}}
-\newcommand{\requiresGHCmod}[1]{\footnote{Requires \GHCmod{#1} to be enabled.}}
-\newcommand{\etc}{{\fontfamily{cmr}\selectfont{\itshape\/\&c}}}
+\newcommand{\requiresGHCmod}[2][]{\footnote{Requires \GHCmod{#2} to be enabled. #1}}
+%\newcommand{\etc}{{\fontfamily{cmr}\selectfont{\itshape\/\&c}}}
+\newcommand{\etc}{{\fontfamily{cmr}\selectfont{\itshape\/\&\kern-0.2em c}}}
 \newcommand{\rdmentry}[6]{#1: #2 (#3): #4. #5.\ \href{https://doi.org/#6}{#6}}
 \newcommand{\mlubbers}{Lubbers, M.\ (Radboud University)}
 \newcommand{\pkoopman}{Koopman, dr.\ P.\ (Radboud University)}
 \newcommand{\rplasmeijer}{Plasmeijer, prof.\ dr.\ ir.\ R.\ (Radboud University)}
 
-\bibliographystyle{alpha}
-
-\usepackage{subfiles}
+\newcommand{\mypart}[3]{
+	\part[#2: #3]{#2\\[2ex]\smaller{}#3}%
+	\label{#1}
+}