equal
deleted
inserted
replaced
11 |
11 |
12 %%% for regular expressions and values |
12 %%% for regular expressions and values |
13 \newcommand{\ZERO}{\mbox{\bf 0}} |
13 \newcommand{\ZERO}{\mbox{\bf 0}} |
14 \newcommand{\ONE}{\mbox{\bf 1}} |
14 \newcommand{\ONE}{\mbox{\bf 1}} |
15 \newcommand{\Left}{\textit{Left}} |
15 \newcommand{\Left}{\textit{Left}} |
16 |
16 \newcommand{\Der}{\textit{Der}} |
|
17 \newcommand{\der}{\textit{der}} |
|
18 \newcommand{\Ders}{\textit{Ders}} |
|
19 \newcommand{\ders}{\textit{ders}} |
17 |
20 |
18 %%% for trees |
21 %%% for trees |
19 %% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf |
22 %% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf |
20 |
23 |
21 \newcommand\grid[1]{% |
24 \newcommand\grid[1]{% |