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