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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
hscale=auto, compress=yes;
a,b,c,d;
activate aa,bb,cc,dd;
hspace d-aa 50;
{
{
a->b: solid [arrow.type=solid];
a->b: empty[arrow.type=empty];
a->b: line[arrow.type=line];
a->b: half[arrow.type=half];
a->b: sharp[arrow.type=sharp];
a->b: empty_sharp[arrow.type=empty_sharp];
a->b: nsdot [arrow.type=nsdot];
a->b: empty_nsdot [arrow.type=empty_nsdot];
} {
c->d: double[arrow.type=double];
c->d: triple_empty[arrow.type=triple_empty];
c->d: double_line[arrow.type=double_line];
c->d: triple_half[arrow.type=triple_half];
c->d: double [arrow.type=empty, arrow.xmul=1.5];
c->d: double [arrow.type=double, arrow.xmul=1.5, arrow.ymul=0.7];
c->d: nsdiamond [arrow.type=nsdiamond];
c->d: empty_nsdiamond [arrow.type=empty_nsdiamond];
};
a->b-c-d: \pldiamond [arrow.midtype=diamond];
a<-b-c-d: \plempty_diamond [arrow.midtype=empty_diamond];
a->b-c-d: \pldot [arrow.midtype=dot];
a<->b-c-d: \plempty_dot [arrow.midtype=empty_dot];
a->b-c-d: \plempty_nsdiamond [arrow.midtype=empty_nsdiamond];
a->b-c-d: \plempty_nsdot[arrow.midtype=empty_nsdot];
a->b-c-d: \pljumpover[arrow.midtype=jumpover];
---;
{
a=>b: solid [arrow.type=solid];
a=>b: empty[arrow.type=empty];
a=>b: line[arrow.type=line];
a=>b: half[arrow.type=half];
a=>b: sharp[arrow.type=sharp];
a=>b: empty_sharp[arrow.type=empty_sharp];
} {
c=>d: double[arrow.type=double];
c=>d: triple_empty[arrow.type=triple_empty];
c=>d: double_line[arrow.type=double_line];
c=>d: triple_half[arrow.type=triple_half];
c=>d: double [arrow.type=empty, arrow.xmul=1.5];
c=>d: double [arrow.type=double, arrow.xmul=1.5, arrow.ymul=0.7];
};
a=>b-c-d: \pldiamond [arrow.midtype=diamond];
a<=>b-c-d: \plempty_diamond [arrow.midtype=empty_diamond];
a<=b-c-d: \pldot [arrow.midtype=dot];
a=>b-c-d: \plempty_dot [arrow.midtype=empty_dot];
a=>b->c=>d: \pljumpover[arrow.midtype=jumpover];
}
{
{
aa->bb: solid [arrow.type=solid];
aa->bb: empty[arrow.type=empty];
aa->bb: line[arrow.type=line];
aa->bb: half[arrow.type=half];
aa->bb: sharp[arrow.type=sharp];
aa->bb: empty_sharp[arrow.type=empty_sharp];
aa->bb: nsdot [arrow.type=nsdot];
aa->bb: empty_nsdot [arrow.type=empty_nsdot];
} {
cc->dd: double[arrow.type=double];
cc->dd: triple_empty[arrow.type=triple_empty];
cc->dd: double_line[arrow.type=double_line];
cc->dd: triple_half[arrow.type=triple_half];
cc->dd: double [arrow.type=empty, arrow.xmul=1.5];
cc->dd: double [arrow.type=double, arrow.xmul=1.5, arrow.ymul=0.7];
cc->dd: nsdiamond [arrow.type=nsdiamond];
cc->dd: empty_nsdiamond [arrow.type=empty_nsdiamond];
};
aa->bb-cc-dd: \pldiamond [arrow.midtype=diamond];
aa<-bb-cc-dd: \plempty_diamond [arrow.midtype=empty_diamond];
aa->bb-cc-dd: \pldot [arrow.midtype=dot];
aa<->bb-cc-dd: \plempty_dot [arrow.midtype=empty_dot];
aa->bb-cc-dd: \plempty_nsdiamond [arrow.midtype=empty_nsdiamond];
aa<->bb-cc-dd: \plempty_nsdot[arrow.midtype=empty_nsdot];
aa->bb-cc-dd: \pljumpover[arrow.midtype=jumpover];
---;
{
aa=>bb: solid [arrow.type=solid];
aa=>bb: empty[arrow.type=empty];
aa=>bb: line[arrow.type=line];
aa=>bb: half[arrow.type=half];
aa=>bb: sharp[arrow.type=sharp];
aa=>bb: empty_sharp[arrow.type=empty_sharp];
} {
cc=>dd: double[arrow.type=double];
cc=>dd: triple_empty[arrow.type=triple_empty];
cc=>dd: double_line[arrow.type=double_line];
cc=>dd: triple_half[arrow.type=triple_half];
cc=>dd: double [arrow.type=empty, arrow.xmul=1.5];
cc=>dd: double [arrow.type=double, arrow.xmul=1.5, arrow.ymul=0.7];
};
aa=>bb-cc-dd: \pldiamond [arrow.midtype=diamond];
aa<=>bb-cc-dd: \plempty_diamond [arrow.midtype=empty_diamond];
aa<=bb-cc-dd: \pldot [arrow.midtype=dot];
aa=>bb-cc-dd: \plempty_dot [arrow.midtype=empty_dot];
aa=>bb-cc-dd: \pljumpover[arrow.midtype=jumpover];
};
|
