3 \usepackage[sc]{mathpazo} |
3 \usepackage[sc]{mathpazo} |
4 \usepackage{fontspec} |
4 \usepackage{fontspec} |
5 \setmainfont[Ligatures=TeX]{Palatino Linotype} |
5 \setmainfont[Ligatures=TeX]{Palatino Linotype} |
6 \usepackage{amssymb} |
6 \usepackage{amssymb} |
7 \usepackage{amsmath} |
7 \usepackage{amsmath} |
8 \usepackage{menukeys} |
8 %\usepackage{menukeys} |
9 \definecolor{darkblue}{rgb}{0,0,0.6} |
9 \definecolor{darkblue}{rgb}{0,0,0.6} |
10 \usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref} |
10 \usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref} |
11 \usepackage{soul} |
11 \usepackage{soul} |
12 \usepackage{marginnote} |
12 \usepackage{marginnote} |
13 \usepackage{fontawesome5} |
13 \usepackage{fontawesome5} |
22 \newcommand{\Ders}{\textit{Ders}} |
22 \newcommand{\Ders}{\textit{Ders}} |
23 \newcommand{\ders}{\textit{ders}} |
23 \newcommand{\ders}{\textit{ders}} |
24 \newcommand{\inj}{\textit{inj}} |
24 \newcommand{\inj}{\textit{inj}} |
25 \newcommand{\nullable}{\textit{nullable}} |
25 \newcommand{\nullable}{\textit{nullable}} |
26 |
26 |
27 %%% for trees |
|
28 %% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf |
|
29 |
27 |
30 \newcommand\grid[1]{% |
|
31 \begin{tikzpicture}[baseline=(char.base)] |
|
32 \path[use as bounding box] |
|
33 (0,0) rectangle (1em,1em); |
|
34 \draw[red!50, fill=red!20] |
|
35 (0,0) rectangle (1em,1em); |
|
36 \node[inner sep=1pt,anchor=base west] |
|
37 (char) at (0em,\gridraiseamount) {#1}; |
|
38 \end{tikzpicture}} |
|
39 \newcommand\gridraiseamount{0.12em} |
|
40 |
|
41 \makeatletter |
|
42 \newcommand\Grid[1]{% |
|
43 \@tfor\z:=#1\do{\grid{\z}}} |
|
44 \makeatother |
|
45 |
|
46 \newcommand\Vspace[1][.3em]{% |
|
47 \mbox{\kern.06em\vrule height.3ex}% |
|
48 \vbox{\hrule width#1}% |
|
49 \hbox{\vrule height.3ex}} |
|
50 |
|
51 \def\VS{\Vspace[0.6em]} |
|
52 |
28 |
53 |
29 |
54 %%% url pointers |
30 %%% url pointers |
55 \newcommand{\hv}[1]{\href{#1}{\faFilm}} |
31 \newcommand{\hv}[1]{\href{#1}{\faFilm}} |
56 \newcommand{\hr}[1]{\href{#1}{\faHandPointRight[regular]}} |
32 \newcommand{\hr}[1]{\href{#1}{\faHandPointRight[regular]}} |