1 \documentclass[article, a4paper]{article}
2 \usepackage[T1]{fontenc}
5 \usepackage[normalem]{ulem}
7 \usepackage{subcaption}
9 %% -----------------------------------------------------------------------------
11 %% \usepackage[osf]{libertine}
12 %% \usepackage{helvet}
13 %% \usepackage{lmodern}
14 %% \IfFileExists{microtype.sty}{\usepackage{microtype}}{}
16 %% -----------------------------------------------------------------------------
19 %% \usetikzlibrary{positioning}
20 %% \usetikzlibrary{shapes}
21 %% \usetikzlibrary{arrows}
22 %% \usepackage{tikz-cd}
23 %% \usepackage{pgfplots}
25 %% -----------------------------------------------------------------------------
27 \usepackage{amssymb,amsmath}
29 \usepackage{turnstile}
30 \usepackage{centernot}
32 %% -----------------------------------------------------------------------------
34 \usepackage{bussproofs}
36 \usepackage[export]{adjustbox}
40 %% \setcounter{secnumdepth}{0}
42 %% -----------------------------------------------------------------------------
43 % We will generate all images so they have a width \maxwidth. This means
44 % that they will get their normal width if they fit onto the page, but
45 % are scaled down if they would overflow the margins.
48 \ifdim\Gin@nat@width>\linewidth\linewidth
49 \else\Gin@nat@width\fi
53 %% -----------------------------------------------------------------------------
56 setpagesize=false, % page size defined by xetex
57 unicode=false, % unicode breaks when used with xetex
64 pdfauthor={Francesco Mazzoli <fm2209@ic.ac.uk>},
65 pdftitle={The Path Towards Observational Equality},
70 % Make links footnotes instead of hotlinks:
71 \renewcommand{\href}[2]{#2\footnote{\url{#1}}}
73 % avoid problems with \sout in headers with hyperref:
74 \pdfstringdefDisableCommands{\renewcommand{\sout}{}}
76 \title{The Path Towards Observational Equality}
77 \author{Francesco Mazzoli \url{<fm2209@ic.ac.uk>}}