|
27
|
1 |
\usepackage{xcolor}
|
|
|
2 |
\usepackage[sc]{mathpazo}
|
|
|
3 |
\usepackage{fontspec}
|
|
|
4 |
\setmainfont[Ligatures=TeX]{Palatino Linotype}
|
|
|
5 |
\usepackage{amssymb}
|
|
|
6 |
\usepackage{amsmath}
|
|
|
7 |
\usepackage{menukeys}
|
|
|
8 |
\definecolor{darkblue}{rgb}{0,0,0.6}
|
|
|
9 |
\usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
|
|
|
10 |
|
|
|
11 |
%%% for trees
|
|
|
12 |
%% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf
|
|
|
13 |
|
|
|
14 |
\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
|
|
|
15 |
\newcommand{\defn}[1]{\textit{\textbf{#1}}}
|
|
|
16 |
\newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}
|
|
|
17 |
|
|
|
18 |
\definecolor{codegray}{gray}{0.9}
|
|
|
19 |
|
|
|
20 |
\makeatletter
|
|
|
21 |
\def\fnote{\gdef\@thefnmark{}\@footnotetext}
|
|
|
22 |
\makeatother
|
|
|
23 |
|