FormalGeomNotes/koass.tex at master · ecpeterson/FormalGeomNotes · GitHub

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
31
32
33
34
35
36
37
% -*- root: main.tex -*-

\begin{sseqpage}[
    degree={-1}{#1},
    classes={circle,fill,inner sep=0.3ex},
    differentials={-{>[width=4]}, target anchor=-35},
    class labels={left=0.2em},
    %edge labels=description,
    math nodes,
    y range={0}{10},
    x range={0}{17},
    xscale=0.8,
    yscale=0.7,
    above left label distance={0em},
    label distance={0.2em},
]

\tower(0,0){12}
\class["\eta"](1,1) \structline(1,1)(0,0)
\etaclass
\class["\lambda"](4,3)
\tower(4,4){8} \structline(4,4)(4,3)

\class["\beta"](8,4)
\etaclass \etaclass
\class(8,5) \structline(8,5)(8,4)
\class["\lambda^2"](8,6) \structline(8,6)(8,5)
\tower(8,7){5} \structline(8,7)(8,6)

\tower(12,7){5}

\class["\beta^2"](14,8)
\etaclass
\etaclass
\tower(14,9){4} \structline(14,9)(14,8)

\end{sseqpage}