cat/doc/packages.tex

145 lines
3.6 KiB
TeX
Raw Normal View History

2018-03-29 11:32:06 +00:00
\usepackage[utf8]{inputenc}
\usepackage{natbib}
2018-05-10 11:09:25 +00:00
\bibliographystyle{plain}
2018-05-15 15:11:01 +00:00
\usepackage{xcolor}
2018-05-18 11:14:41 +00:00
%% \mode<report>{
\usepackage[
2018-05-15 15:11:01 +00:00
%% hidelinks,
pdfusetitle,
pdfsubject={category theory},
pdfkeywords={type theory, homotopy theory, category theory, agda}]
{hyperref}
2018-05-18 11:14:41 +00:00
%% }
%% \definecolor{darkorange}{HTML}{ff8c00}
%% \hypersetup{allbordercolors={darkorange}}
\hypersetup{hidelinks}
2018-03-29 11:32:06 +00:00
\usepackage{graphicx}
2018-05-28 15:32:56 +00:00
%% \usepackage[active,tightpage]{preview}
2018-03-29 11:32:06 +00:00
\usepackage{parskip}
\usepackage{multicol}
\usepackage{amssymb,amsmath,amsthm,stmaryrd,mathrsfs,wasysym}
2018-03-29 11:32:06 +00:00
\usepackage[toc,page]{appendix}
\usepackage{xspace}
2018-05-28 15:32:56 +00:00
\usepackage[paper=a4paper,top=3cm,bottom=3cm]{geometry}
2018-05-09 16:13:36 +00:00
\usepackage{makeidx}
\makeindex
2018-03-29 11:32:06 +00:00
% \setlength{\parskip}{10pt}
% \usepackage{tikz}
% \usetikzlibrary{arrows, decorations.markings}
% \usepackage{chngcntr}
% \counterwithout{figure}{section}
\numberwithin{equation}{section}
2018-03-29 11:32:06 +00:00
\usepackage{listings}
\usepackage{fancyvrb}
\usepackage{mathpazo}
\usepackage[scaled=0.95]{helvet}
\usepackage{courier}
\linespread{1.05} % Palatino looks better with this
2018-04-26 08:22:15 +00:00
\usepackage{lmodern}
2018-05-07 22:25:34 +00:00
\usepackage{enumerate}
2018-05-08 14:22:51 +00:00
\usepackage{verbatim}
2018-05-07 22:25:34 +00:00
2018-03-29 11:32:06 +00:00
\usepackage{fontspec}
2018-05-02 11:13:09 +00:00
\usepackage[light]{sourcecodepro}
2018-04-26 08:22:15 +00:00
%% \setmonofont{Latin Modern Mono}
%% \setmonofont[Mapping=tex-text]{FreeMono.otf}
%% \setmonofont{FreeMono.otf}
2018-05-08 00:00:23 +00:00
%% \pagestyle{fancyplain}
\setlength{\headheight}{15pt}
\renewcommand{\chaptermark}[1]{\markboth{\textsc{Chapter \thechapter. #1}}{}}
\renewcommand{\sectionmark}[1]{\markright{\textsc{\thesection\ #1}}}
2018-04-26 08:22:15 +00:00
% Allows for the use of unicode-letters:
\usepackage{unicode-math}
%% \RequirePackage{kvoptions}
2018-05-07 22:25:34 +00:00
\usepackage{pgffor}
2018-05-08 14:22:51 +00:00
\lstset
{basicstyle=\ttfamily
,columns=fullflexible
,breaklines=true
,inputencoding=utf8
,extendedchars=true
%% ,literate={á}{{\'a}}1 {ã}{{\~a}}1 {é}{{\'e}}1
}
\usepackage{newunicodechar}
%% \setmainfont{PT Serif}
\newfontfamily{\fallbackfont}{FreeMono.otf}[Scale=MatchLowercase]
%% \setmonofont[Mapping=tex-text]{FreeMono.otf}
\DeclareTextFontCommand{\textfallback}{\fallbackfont}
\newunicodechar{}{\textfallback{}}
\newunicodechar{}{\textfallback{}}
\newunicodechar{}{\textfallback{}}
2018-05-28 15:32:56 +00:00
%% \newunicodechar{≊}{\textfallback{≊}}
2018-05-08 14:22:51 +00:00
\newunicodechar{}{\textfallback{}}
\newunicodechar{}{\textfallback{}}
\newunicodechar{}{\textfallback{}}
\newunicodechar{}{\textfallback{}}
\newunicodechar{}{\textfallback{}}
\newunicodechar{}{\textfallback{}}
2018-05-24 13:57:30 +00:00
%% \newunicodechar{𝒜}{\textfallback{𝒜}}
%% \newunicodechar{}{\textfallback{}}
2018-05-08 14:22:51 +00:00
%% \newunicodechar{≊}{\textfallback{≊}}
2018-05-10 12:10:11 +00:00
\makeatletter
\newcommand*{\rom}[1]{\expandafter\@slowroman\romannumeral #1@}
\makeatother
\makeatletter
\newcommand\frontmatter{%
\cleardoublepage
%\@mainmatterfalse
\pagenumbering{roman}}
\newcommand\mainmatter{%
\cleardoublepage
% \@mainmattertrue
\pagenumbering{arabic}}
\newcommand\backmatter{%
\if@openright
\cleardoublepage
\else
\clearpage
\fi
% \@mainmatterfalse
}
\makeatother
2018-05-15 14:08:29 +00:00
\usepackage{xspace}
2018-05-18 11:14:41 +00:00
\usepackage{tikz}
\newcommand{\ExternalLink}{%
\tikz[x=1.2ex, y=1.2ex, baseline=-0.05ex]{%
\begin{scope}[x=1ex, y=1ex]
\clip (-0.1,-0.1)
--++ (-0, 1.2)
--++ (0.6, 0)
--++ (0, -0.6)
--++ (0.6, 0)
--++ (0, -1);
\path[draw,
line width = 0.5,
rounded corners=0.5]
(0,0) rectangle (1,1);
\end{scope}
\path[draw, line width = 0.5] (0.5, 0.5)
-- (1, 1);
\path[draw, line width = 0.5] (0.6, 1)
-- (1, 1) -- (1, 0.6);
}
}
\usepackage{ dsfont }