blob: a73fa349a15228141e5f975cdbb923bac20d9fc1 (
plain)
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
|
% arrsy10.mf
% Anders G S Svensson
% $Date: 1995/03/31 21:55:19 $
% $Revision: 1.10 $
if unknown cmbase: input cmbase fi
font_identifier:="ARRSY"; font_size 10pt#;
input arrsy; % Computer modern parameters.
input arrsym; % Macros for the symbols.
% Encoding
%
rightallo(hex "00");
leftallo(hex "01");
upallo(hex "02");
downallo(hex "03");
rightpara(hex "04");
leftpara(hex "05");
uppara(hex "06");
downpara(hex "07");
righttriple(hex "08");
lefttriple(hex "09");
equiv(hex "0A");
dashbar(hex "0B");
rightarrow(hex "0C", 10);
leftarrow(hex "0D", 10);
rightmonotail(hex "0E");
leftmonotail(hex "0F");
squiggle(hex "10");
rightarrow(hex "11", 18);
leftarrow(hex "12", 18);
leftrightarrow(hex "13");
leftharpoonup(hex "14");
leftharpoondown(hex "15");
rightharpoonup(hex "16");
rightharpoondown(hex "17");
vector(hex "18");
ofcirc(hex "19");
dotp(hex "1A");
cupp(hex "1B");
capp(hex "1C");
bye
|