| author | Christian Urban <urbanc@in.tum.de> |
| Wed, 30 Oct 2019 12:47:10 +0000 | |
| changeset 287 | a0c469a58ed4 |
| parent 281 | 32dfd2ca577b |
| child 305 | b387e925d3c2 |
| permissions | -rw-r--r-- |
| 27 | 1 |
\usepackage{xcolor}
|
| 123 | 2 |
%%\usepackage{fontspec}
|
| 27 | 3 |
\usepackage[sc]{mathpazo}
|
4 |
\usepackage{fontspec}
|
|
5 |
\setmainfont[Ligatures=TeX]{Palatino Linotype}
|
|
6 |
\usepackage{amssymb}
|
|
7 |
\usepackage{amsmath}
|
|
| 123 | 8 |
\usepackage{menukeys}
|
| 27 | 9 |
\definecolor{darkblue}{rgb}{0,0,0.6}
|
10 |
\usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
|
|
11 |
||
| 123 | 12 |
%%% for regular expressions and values |
| 62 | 13 |
\newcommand{\ZERO}{\mbox{\bf 0}}
|
14 |
\newcommand{\ONE}{\mbox{\bf 1}}
|
|
15 |
\newcommand{\Left}{\textit{Left}}
|
|
16 |
\newcommand{\Der}{\textit{Der}}
|
|
17 |
\newcommand{\der}{\textit{der}}
|
|
18 |
\newcommand{\Ders}{\textit{Ders}}
|
|
19 |
\newcommand{\ders}{\textit{ders}}
|
|
20 |
||
| 27 | 21 |
%%% for trees |
22 |
%% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf |
|
23 |
||
| 123 | 24 |
|
25 |
||
| 27 | 26 |
\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
|
27 |
\newcommand{\defn}[1]{\textit{\textbf{#1}}}
|
|
28 |
\newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}
|
|
29 |
||
30 |
\definecolor{codegray}{gray}{0.9}
|
|
31 |
||
32 |
\makeatletter |
|
33 |
\def\fnote{\gdef\@thefnmark{}\@footnotetext}
|
|
34 |
\makeatother |
|
35 |
||
|
252
f5948104eef5
added stub for cws dates
Christian Urban <urbanc@in.tum.de>
parents:
123
diff
changeset
|
36 |
% CW deadlines |
| 281 | 37 |
\def\cwSIX{14 November}
|
38 |
\def\cwSIXa{15 January}
|
|
|
252
f5948104eef5
added stub for cws dates
Christian Urban <urbanc@in.tum.de>
parents:
123
diff
changeset
|
39 |
|
| 281 | 40 |
\def\cwSEVEN{21 November}
|
41 |
\def\cwSEVENa{15 January}
|
|
| 123 | 42 |
|
| 281 | 43 |
\def\cwEIGHT{28 November}
|
44 |
\def\cwEIGHTa{15 January}
|
|
| 123 | 45 |
|
| 281 | 46 |
\def\cwNINE{5 December}
|
47 |
\def\cwNINEa{15 January}
|
|
| 123 | 48 |
|
| 281 | 49 |
\def\cwTEN{15 January}
|
50 |
\def\cwTENa{15 January}
|
|
|
252
f5948104eef5
added stub for cws dates
Christian Urban <urbanc@in.tum.de>
parents:
123
diff
changeset
|
51 |