equal
deleted
inserted
replaced
6 \usepackage{amsmath} |
6 \usepackage{amsmath} |
7 %%\usepackage{menukeys} |
7 %%\usepackage{menukeys} |
8 |
8 |
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 |
|
12 \newcommand{\ZERO}{\mbox{\bf 0}} |
|
13 \newcommand{\ONE}{\mbox{\bf 1}} |
|
14 \newcommand{\Left}{\textit{Left}} |
|
15 \newcommand{\Der}{\textit{Der}} |
|
16 \newcommand{\der}{\textit{der}} |
|
17 \newcommand{\Ders}{\textit{Ders}} |
|
18 \newcommand{\ders}{\textit{ders}} |
11 |
19 |
12 %%% for trees |
20 %%% for trees |
13 %% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf |
21 %% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf |
14 |
22 |
15 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}} |
23 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}} |