loop D
il R
move R
cross
shifting arrows on crossings
loop ( D >
il R
(move D;il R)
phl RD > :-20
move R
loop ) D <
phl LD > :-20
highlighting paths: background color
(il L;~cross)
(color "blue";pointer drr @Ec "P")
path "black!20" 7
phl Ul < @E "$I$";phl Ur > @ "$a$"
~phl Ur > @E "$A$"
path off
(il R;~cross)
(color "blue";pointer uul @E "Q")
fourth order PT diagram
loop ( DD < @l "$a$"
loop ) DD > ["R0" @r "$j$" "R1" @r "$k$" "R2" @r "$l$" "R3"]
move Rr
loop ( DD < ["L0" @l "$b$" "L1" @l "$c$" "L2" @l "$d$" "L3"]
loop ) DD > @r "$i$"
#define IL(A, B) move A;il B
IL("R0", "L0");IL("R1", "L1");IL("R2", "L2");IL("R3", "L3")
Hugenholtz diagram
bullet
loop ) DD <
loop ( DDD > :15 @l "$i$"
loop D 0.75;~square
loop ), U > :10
loop (, U < :-10
move D;square
loop (, UU 2 <
loop ), UU 2 >
loop (, UU 3 <
move D;square
loop ), UUU 3 >
Various interaction and operator types
phl Dr >
~(il L;~cross)
phl Dr >
~phl Ur >
~phl Ur >
il R
~loop D
~cl R
~phl Ul <
phl Ur >
