equal
deleted
inserted
replaced
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 |
11 |
12 %%% fo regular expressions |
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 |
16 |
16 |
17 |
17 %%% for trees |
18 %%% for trees |
18 %% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf |
19 %% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf |
19 |
20 |