343
|
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}
|
|
8 |
\definecolor{darkblue}{rgb}{0,0,0.6}
|
|
9 |
\usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
|
335
|
10 |
\usepackage{marginnote}
|
|
11 |
\usepackage{fontawesome5}
|
27
|
12 |
|
343
|
13 |
%% does not work after the last upgrade
|
|
14 |
%%\usepackage{menukeys}
|
|
15 |
|
123
|
16 |
%%% for regular expressions and values
|
62
|
17 |
\newcommand{\ZERO}{\mbox{\bf 0}}
|
|
18 |
\newcommand{\ONE}{\mbox{\bf 1}}
|
|
19 |
\newcommand{\Left}{\textit{Left}}
|
|
20 |
\newcommand{\Der}{\textit{Der}}
|
|
21 |
\newcommand{\der}{\textit{der}}
|
|
22 |
\newcommand{\Ders}{\textit{Ders}}
|
|
23 |
\newcommand{\ders}{\textit{ders}}
|
|
24 |
|
27
|
25 |
%%% for trees
|
|
26 |
%% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf
|
|
27 |
|
123
|
28 |
|
335
|
29 |
%%% url pointers
|
|
30 |
\newcommand{\here}[1]{\marginnote{\href{#1}{\faHandPointRight[regular]}}}
|
|
31 |
\newcommand{\video}[1]{\marginnote{\href{#1}{\faFilm}}}
|
|
32 |
\newcommand{\alert}{\reversemarginpar\marginpar{\mbox{}\hfill\textcolor{red}{\faExclamationTriangle}}}
|
123
|
33 |
|
27
|
34 |
\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
|
|
35 |
\newcommand{\defn}[1]{\textit{\textbf{#1}}}
|
|
36 |
\newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}
|
|
37 |
|
|
38 |
\definecolor{codegray}{gray}{0.9}
|
|
39 |
|
|
40 |
\makeatletter
|
|
41 |
\def\fnote{\gdef\@thefnmark{}\@footnotetext}
|
|
42 |
\makeatother
|
|
43 |
|
252
|
44 |
% CW deadlines
|
344
|
45 |
\def\cwSIX{20 November}
|
281
|
46 |
\def\cwSIXa{15 January}
|
252
|
47 |
|
344
|
48 |
\def\cwSEVEN{27 November}
|
281
|
49 |
\def\cwSEVENa{15 January}
|
123
|
50 |
|
344
|
51 |
\def\cwEIGHT{4 December}
|
281
|
52 |
\def\cwEIGHTa{15 January}
|
123
|
53 |
|
344
|
54 |
\def\cwNINE{11 December}
|
281
|
55 |
\def\cwNINEa{15 January}
|
123
|
56 |
|
281
|
57 |
\def\cwTEN{15 January}
|
|
58 |
\def\cwTENa{15 January}
|
252
|
59 |
|