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
|
% --- start of displayed preamble in the book ---
input cmarrows
% --- end of displayed preamble in the book ---
defaultfont:="ptmr8r";
warningcheck:=0;
beginfig(1)
numeric i;i=0;
string lab;
forsuffixes n=Bigbrace,Biggbrace,bigbrace, biggbrace, extensiblebrace,
doublearrow, twoheadarrow, twowayoldarrow,
twowayarrow, twowaydoublearrow, hookrightarrow, hookleftarrow:
i:=i+1;
lab:=str n;
setup_cmarrows(
arrow_name = str n;
parameter_file = "cmr10.mf";
macro_name = str n);
n (0,-i*5mm)--(2cm,-i*5mm);
label.rt(lab,(2.2cm,-i*5mm));
endfor;
i:=0;
forsuffixes n=
lefthalfarrow, righthalfarrow,
parallelarrows, paralleloppositearrows,
paralleloppositerighthalfarrows, paralleloppositelefthalfarrows,
mapstoarrow, oldtexarrow,
shortaxisarrow, texarrow, tailarrow,
tripplearrow:
i:=i+1;
lab:=str n;
setup_cmarrows(
arrow_name = str n;
parameter_file = "cmr10.mf";
macro_name = str n);
n (6cm,-i*5mm)--(8cm,-i*5mm);
label.rt(lab,(8.2cm,-i*5mm));
endfor;
endfig;
end;
|