| author | Christian Urban <urbanc@in.tum.de> |
| Mon, 14 Nov 2016 03:25:14 +0000 | |
| changeset 45 | 8399976b77fe |
| parent 42 | a5106bc13db6 |
| child 62 | 2151c77e1e24 |
| permissions | -rw-r--r-- |
| 27 | 1 |
\usepackage{xcolor}
|
2 |
\usepackage[sc]{mathpazo}
|
|
3 |
\usepackage{fontspec}
|
|
4 |
\setmainfont[Ligatures=TeX]{Palatino Linotype}
|
|
5 |
\usepackage{amssymb}
|
|
6 |
\usepackage{amsmath}
|
|
|
42
a5106bc13db6
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
27
diff
changeset
|
7 |
%%\usepackage{menukeys}
|
|
a5106bc13db6
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
27
diff
changeset
|
8 |
|
| 27 | 9 |
\definecolor{darkblue}{rgb}{0,0,0.6}
|
10 |
\usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
|
|
11 |
||
12 |
%%% for trees |
|
13 |
%% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf |
|
14 |
||
15 |
\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
|
|
16 |
\newcommand{\defn}[1]{\textit{\textbf{#1}}}
|
|
17 |
\newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}
|
|
18 |
||
19 |
\definecolor{codegray}{gray}{0.9}
|
|
20 |
||
21 |
\makeatletter |
|
22 |
\def\fnote{\gdef\@thefnmark{}\@footnotetext}
|
|
23 |
\makeatother |
|
24 |