equal
deleted
inserted
replaced
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 |
|
12 %%% fo regular expressions |
|
13 \newcommand{\ZERO}{\mbox{\bf 0}} |
|
14 \newcommand{\ONE}{\mbox{\bf 1}} |
|
15 |
11 |
16 |
12 %%% for trees |
17 %%% for trees |
13 %% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf |
18 %% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf |
14 |
19 |
15 \newcommand\grid[1]{% |
20 \newcommand\grid[1]{% |