\[
\newcommand{\tr}{\Rightarrow}
\newcommand{\trs}{\tr^{\!\ast}}
\newcommand{\rlnm}[1]{\mathsf{(#1)}}
\newcommand{\rred}[1]{\xrightarrow{#1}}
\newcommand{\rreds}[1]{\mathrel{\xrightarrow{#1}\!\!^*}}
\newcommand{\cl}{\mathsf{Cl}}
\newcommand{\pow}{\mathcal{P}}
\newcommand{\matches}{\mathrel{\mathsf{matches}}}
\newcommand{\kw}[1]{\mathsf{#1}}
\]
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
| <ul>
<li>a</li>
<li>more:
<ul>
<li>b</li>
<li>c</li>
<li>more:
<ul>
<li>d</li>
<li>more:
<ul>
<li>e</li>
<li>f</li>
</ul>
</li>
</ul>
</li>
<li>g</li>
<li>h</li>
<li>more:
<ul>
<li>i</li>
<li>j</li>
</ul>
</li>
</ul>
</li>
<li>k</li>
<li>l</li>
</ul>
|