lib/fonts/isabelle14.bdf

fixed EqI meta rule;

STARTFONT 2.1
FONT -isabelle-fixed-medium-r-normal--14-140-75-75-m-90-isabelle-0
SIZE 14 75 75
FONTBOUNDINGBOX 10 14 4 -3
STARTPROPERTIES 22
FONTNAME_REGISTRY ""
FOUNDRY "Isabelle"
FAMILY_NAME "Fixed"
WEIGHT_NAME "Medium"
SLANT "R"
SETWIDTH_NAME "Normal"
ADD_STYLE_NAME ""
PIXEL_SIZE 14
POINT_SIZE 140
RESOLUTION_X 75
RESOLUTION_Y 75
SPACING "M"
AVERAGE_WIDTH 90
CHARSET_REGISTRY "Isabelle"
CHARSET_ENCODING "0"
CHARSET_COLLECTIONS ""
FULL_NAME "Fixed"
COPYRIGHT "Public"
FONT_ASCENT 11
FONT_DESCENT 3
CAP_HEIGHT 9
X_HEIGHT 7
ENDPROPERTIES
CHARS 206
STARTCHAR space
ENCODING 32
SWIDTH 600 0
DWIDTH 9 0
BBX 1 1 0 0
BITMAP
00
ENDCHAR
STARTCHAR exclam
ENCODING 33
SWIDTH 600 0
DWIDTH 9 0
BBX 1 10 3 0
BITMAP
80
80
80
80
80
80
80
00
00
80
ENDCHAR
STARTCHAR quotedbl
ENCODING 34
SWIDTH 600 0
DWIDTH 9 0
BBX 4 4 2 5
BITMAP
90
90
90
90
ENDCHAR
STARTCHAR numbersign
ENCODING 35
SWIDTH 600 0
DWIDTH 9 0
BBX 5 9 2 0
BITMAP
50
50
50
f8
50
f8
50
50
50
ENDCHAR
STARTCHAR dollar
ENCODING 36
SWIDTH 600 0
DWIDTH 9 0
BBX 5 13 2 -2
BITMAP
20
20
70
88
80
40
30
08
88
70
20
20
20
ENDCHAR
STARTCHAR percent
ENCODING 37
SWIDTH 600 0
DWIDTH 9 0
BBX 7 10 1 0
BITMAP
60
90
90
66
18
30
cc
12
12
0c
ENDCHAR
STARTCHAR ampersand
ENCODING 38
SWIDTH 600 0
DWIDTH 9 0
BBX 6 8 1 0
BITMAP
38
48
40
40
a8
90
98
64
ENDCHAR
STARTCHAR quoteright
ENCODING 39
SWIDTH 600 0
DWIDTH 9 0
BBX 3 4 2 5
BITMAP
60
60
c0
80
ENDCHAR
STARTCHAR parenleft
ENCODING 40
SWIDTH 600 0
DWIDTH 9 0
BBX 3 12 3 -2
BITMAP
20
40
40
80
80
80
80
80
80
40
40
20
ENDCHAR
STARTCHAR parenright
ENCODING 41
SWIDTH 600 0
DWIDTH 9 0
BBX 3 12 2 -2
BITMAP
80
40
40
20
20
20
20
20
20
40
40
80
ENDCHAR
STARTCHAR asterisk
ENCODING 42
SWIDTH 600 0
DWIDTH 9 0
BBX 5 6 1 3
BITMAP
20
20
f8
20
50
88
ENDCHAR
STARTCHAR plus
ENCODING 43
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 1 1
BITMAP
10
10
10
fe
10
10
10
ENDCHAR
STARTCHAR comma
ENCODING 44
SWIDTH 600 0
DWIDTH 9 0
BBX 3 4 2 -2
BITMAP
60
60
c0
80
ENDCHAR
STARTCHAR minus
ENCODING 45
SWIDTH 600 0
DWIDTH 9 0
BBX 7 1 1 4
BITMAP
fe
ENDCHAR
STARTCHAR period
ENCODING 46
SWIDTH 600 0
DWIDTH 9 0
BBX 2 2 3 0
BITMAP
c0
c0
ENDCHAR
STARTCHAR slash
ENCODING 47
SWIDTH 600 0
DWIDTH 9 0
BBX 6 11 1 -1
BITMAP
04
08
08
10
10
20
20
40
40
80
80
ENDCHAR
STARTCHAR zero
ENCODING 48
SWIDTH 600 0
DWIDTH 9 0
BBX 6 10 1 0
BITMAP
78
84
84
84
84
84
84
84
84
78
ENDCHAR
STARTCHAR one
ENCODING 49
SWIDTH 600 0
DWIDTH 9 0
BBX 4 10 1 0
BITMAP
20
60
a0
20
20
20
20
20
20
70
ENDCHAR
STARTCHAR two
ENCODING 50
SWIDTH 600 0
DWIDTH 9 0
BBX 6 10 1 0
BITMAP
78
84
84
04
08
10
20
40
80
fc
ENDCHAR
STARTCHAR three
ENCODING 51
SWIDTH 600 0
DWIDTH 9 0
BBX 6 10 1 0
BITMAP
78
84
04
04
38
04
04
04
84
78
ENDCHAR
STARTCHAR four
ENCODING 52
SWIDTH 600 0
DWIDTH 9 0
BBX 6 10 1 0
BITMAP
18
28
28
48
48
88
88
fc
08
08
ENDCHAR
STARTCHAR five
ENCODING 53
SWIDTH 600 0
DWIDTH 9 0
BBX 6 10 1 0
BITMAP
7c
40
40
40
78
04
04
04
84
78
ENDCHAR
STARTCHAR six
ENCODING 54
SWIDTH 600 0
DWIDTH 9 0
BBX 6 10 1 0
BITMAP
38
40
80
80
b8
c4
84
84
44
38
ENDCHAR
STARTCHAR seven
ENCODING 55
SWIDTH 600 0
DWIDTH 9 0
BBX 6 10 1 0
BITMAP
fc
84
04
08
08
08
10
10
10
10
ENDCHAR
STARTCHAR eight
ENCODING 56
SWIDTH 600 0
DWIDTH 9 0
BBX 6 10 1 0
BITMAP
78
84
84
84
78
84
84
84
84
78
ENDCHAR
STARTCHAR nine
ENCODING 57
SWIDTH 600 0
DWIDTH 9 0
BBX 6 10 1 0
BITMAP
70
88
84
84
8c
74
04
04
08
70
ENDCHAR
STARTCHAR colon
ENCODING 58
SWIDTH 600 0
DWIDTH 9 0
BBX 2 7 3 0
BITMAP
c0
c0
00
00
00
c0
c0
ENDCHAR
STARTCHAR semicolon
ENCODING 59
SWIDTH 600 0
DWIDTH 9 0
BBX 3 9 2 -2
BITMAP
60
60
00
00
00
60
60
c0
80
ENDCHAR
STARTCHAR less
ENCODING 60
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 1 1
BITMAP
06
18
60
80
60
18
06
ENDCHAR
STARTCHAR equal
ENCODING 61
SWIDTH 600 0
DWIDTH 9 0
BBX 7 3 1 3
BITMAP
fe
00
fe
ENDCHAR
STARTCHAR greater
ENCODING 62
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 1 1
BITMAP
c0
30
0c
02
0c
30
c0
ENDCHAR
STARTCHAR question
ENCODING 63
SWIDTH 600 0
DWIDTH 9 0
BBX 5 9 1 0
BITMAP
70
88
88
08
10
20
20
00
20
ENDCHAR
STARTCHAR at
ENCODING 64
SWIDTH 600 0
DWIDTH 9 0
BBX 6 10 1 -1
BITMAP
38
44
84
9c
a4
a4
9c
80
40
38
ENDCHAR
STARTCHAR A
ENCODING 65
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
10
10
28
28
44
7c
82
82
82
ENDCHAR
STARTCHAR B
ENCODING 66
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
f8
84
84
84
f8
84
84
84
f8
ENDCHAR
STARTCHAR C
ENCODING 67
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
3c
42
80
80
80
80
80
42
3c
ENDCHAR
STARTCHAR D
ENCODING 68
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
f8
84
82
82
82
82
82
84
f8
ENDCHAR
STARTCHAR E
ENCODING 69
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
fc
80
80
80
f0
80
80
80
fc
ENDCHAR
STARTCHAR F
ENCODING 70
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
fc
80
80
80
f0
80
80
80
80
ENDCHAR
STARTCHAR G
ENCODING 71
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 0 0
BITMAP
3c
42
80
80
80
8e
82
42
3c
ENDCHAR
STARTCHAR H
ENCODING 72
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
84
84
84
84
fc
84
84
84
84
ENDCHAR
STARTCHAR I
ENCODING 73
SWIDTH 600 0
DWIDTH 9 0
BBX 3 9 2 0
BITMAP
e0
40
40
40
40
40
40
40
e0
ENDCHAR
STARTCHAR J
ENCODING 74
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
1c
08
08
08
08
88
88
88
70
ENDCHAR
STARTCHAR K
ENCODING 75
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
84
88
90
a0
e0
90
88
88
84
ENDCHAR
STARTCHAR L
ENCODING 76
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 0 0
BITMAP
e0
40
40
40
40
40
40
42
7e
ENDCHAR
STARTCHAR M
ENCODING 77
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
c6
c6
aa
aa
92
92
82
82
82
ENDCHAR
STARTCHAR N
ENCODING 78
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
c4
c4
a4
a4
94
94
8c
8c
84
ENDCHAR
STARTCHAR O
ENCODING 79
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 0 0
BITMAP
3c
42
81
81
81
81
81
42
3c
ENDCHAR
STARTCHAR P
ENCODING 80
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
f8
84
84
84
84
f8
80
80
80
ENDCHAR
STARTCHAR Q
ENCODING 81
SWIDTH 600 0
DWIDTH 9 0
BBX 8 11 0 -2
BITMAP
3c
42
81
81
81
81
81
42
3c
31
5e
ENDCHAR
STARTCHAR R
ENCODING 82
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
f8
84
84
84
88
f0
88
84
82
ENDCHAR
STARTCHAR S
ENCODING 83
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
78
84
80
80
78
04
04
84
78
ENDCHAR
STARTCHAR T
ENCODING 84
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
fe
92
10
10
10
10
10
10
10
ENDCHAR
STARTCHAR U
ENCODING 85
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
84
84
84
84
84
84
84
84
78
ENDCHAR
STARTCHAR V
ENCODING 86
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
82
82
82
44
44
28
28
10
10
ENDCHAR
STARTCHAR W
ENCODING 87
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
82
82
92
92
aa
aa
44
44
44
ENDCHAR
STARTCHAR X
ENCODING 88
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 0 0
BITMAP
81
42
24
24
18
24
24
42
81
ENDCHAR
STARTCHAR Y
ENCODING 89
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
82
44
44
28
28
10
10
10
10
ENDCHAR
STARTCHAR Z
ENCODING 90
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
fc
04
08
10
20
20
40
80
fc
ENDCHAR
STARTCHAR bracketleft
ENCODING 91
SWIDTH 600 0
DWIDTH 9 0
BBX 3 12 3 -2
BITMAP
e0
80
80
80
80
80
80
80
80
80
80
e0
ENDCHAR
STARTCHAR backslash
ENCODING 92
SWIDTH 600 0
DWIDTH 9 0
BBX 6 11 1 -1
BITMAP
80
40
40
20
20
10
10
08
08
04
04
ENDCHAR
STARTCHAR bracketright
ENCODING 93
SWIDTH 600 0
DWIDTH 9 0
BBX 3 12 2 -2
BITMAP
e0
20
20
20
20
20
20
20
20
20
20
e0
ENDCHAR
STARTCHAR asciicircum
ENCODING 94
SWIDTH 600 0
DWIDTH 9 0
BBX 5 5 2 4
BITMAP
20
50
50
88
88
ENDCHAR
STARTCHAR underscore
ENCODING 95
SWIDTH 600 0
DWIDTH 9 0
BBX 9 1 0 -3
BITMAP
ff80
ENDCHAR
STARTCHAR quoteleft
ENCODING 96
SWIDTH 600 0
DWIDTH 9 0
BBX 3 4 2 5
BITMAP
c0
c0
60
20
ENDCHAR
STARTCHAR a
ENCODING 97
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
78
04
04
7c
84
8c
76
ENDCHAR
STARTCHAR b
ENCODING 98
SWIDTH 600 0
DWIDTH 9 0
BBX 7 10 1 0
BITMAP
80
80
80
b8
c4
82
82
82
c4
b8
ENDCHAR
STARTCHAR c
ENCODING 99
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
3c
42
80
80
80
42
3c
ENDCHAR
STARTCHAR d
ENCODING 100
SWIDTH 600 0
DWIDTH 9 0
BBX 7 10 0 0
BITMAP
02
02
02
3a
46
82
82
82
46
3a
ENDCHAR
STARTCHAR e
ENCODING 101
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
38
44
82
fe
80
42
3c
ENDCHAR
STARTCHAR f
ENCODING 102
SWIDTH 600 0
DWIDTH 9 0
BBX 7 10 1 0
BITMAP
1e
20
20
fc
20
20
20
20
20
20
ENDCHAR
STARTCHAR g
ENCODING 103
SWIDTH 600 0
DWIDTH 9 0
BBX 7 10 0 -3
BITMAP
3a
46
82
82
82
46
3a
02
04
78
ENDCHAR
STARTCHAR h
ENCODING 104
SWIDTH 600 0
DWIDTH 9 0
BBX 6 10 1 0
BITMAP
80
80
80
b8
c4
84
84
84
84
84
ENDCHAR
STARTCHAR i
ENCODING 105
SWIDTH 600 0
DWIDTH 9 0
BBX 3 10 3 0
BITMAP
40
40
00
c0
40
40
40
40
40
e0
ENDCHAR
STARTCHAR j
ENCODING 106
SWIDTH 600 0
DWIDTH 9 0
BBX 4 13 1 -3
BITMAP
10
10
00
30
10
10
10
10
10
10
10
20
c0
ENDCHAR
STARTCHAR k
ENCODING 107
SWIDTH 600 0
DWIDTH 9 0
BBX 5 9 1 0
BITMAP
80
80
98
90
a0
c0
a0
90
98
ENDCHAR
STARTCHAR l
ENCODING 108
SWIDTH 600 0
DWIDTH 9 0
BBX 3 9 3 0
BITMAP
c0
40
40
40
40
40
40
40
e0
ENDCHAR
STARTCHAR m
ENCODING 109
SWIDTH 600 0
DWIDTH 9 0
BBX 8 7 0 0
BITMAP
db
6d
49
49
49
49
49
ENDCHAR
STARTCHAR n
ENCODING 110
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 0 0
BITMAP
dc
62
42
42
42
42
42
ENDCHAR
STARTCHAR o
ENCODING 111
SWIDTH 600 0
DWIDTH 9 0
BBX 8 7 0 0
BITMAP
3c
42
81
81
81
42
3c
ENDCHAR
STARTCHAR p
ENCODING 112
SWIDTH 600 0
DWIDTH 9 0
BBX 7 10 1 -3
BITMAP
b8
c4
82
82
82
c4
b8
80
80
80
ENDCHAR
STARTCHAR q
ENCODING 113
SWIDTH 600 0
DWIDTH 9 0
BBX 7 10 0 -3
BITMAP
3a
46
82
82
82
46
3a
02
02
02
ENDCHAR
STARTCHAR r
ENCODING 114
SWIDTH 600 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
98
a4
c0
80
80
80
80
ENDCHAR
STARTCHAR s
ENCODING 115
SWIDTH 600 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
78
84
80
78
04
84
78
ENDCHAR
STARTCHAR t
ENCODING 116
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
40
40
f0
40
40
40
40
44
38
ENDCHAR
STARTCHAR u
ENCODING 117
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
84
84
84
84
84
8c
76
ENDCHAR
STARTCHAR v
ENCODING 118
SWIDTH 600 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
84
84
84
48
48
30
30
ENDCHAR
STARTCHAR w
ENCODING 119
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
82
82
92
92
54
6c
6c
ENDCHAR
STARTCHAR x
ENCODING 120
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
c6
44
28
10
28
44
c6
ENDCHAR
STARTCHAR y
ENCODING 121
SWIDTH 600 0
DWIDTH 9 0
BBX 6 10 1 -3
BITMAP
84
84
84
48
48
30
10
20
20
60
ENDCHAR
STARTCHAR z
ENCODING 122
SWIDTH 600 0
DWIDTH 9 0
BBX 5 7 1 0
BITMAP
f8
08
10
20
40
80
f8
ENDCHAR
STARTCHAR braceleft
ENCODING 123
SWIDTH 600 0
DWIDTH 9 0
BBX 3 12 3 -2
BITMAP
20
40
40
40
40
80
40
40
40
40
40
20
ENDCHAR
STARTCHAR bar
ENCODING 124
SWIDTH 600 0
DWIDTH 9 0
BBX 1 11 4 -2
BITMAP
80
80
80
80
80
80
80
80
80
80
80
ENDCHAR
STARTCHAR braceright
ENCODING 125
SWIDTH 600 0
DWIDTH 9 0
BBX 3 12 2 -2
BITMAP
80
40
40
40
40
20
40
40
40
40
40
80
ENDCHAR
STARTCHAR asciitilde
ENCODING 126
SWIDTH 600 0
DWIDTH 9 0
BBX 6 2 1 3
BITMAP
64
98
ENDCHAR
STARTCHAR lless
ENCODING 145
SWIDTH 666 0
DWIDTH 9 0
BBX 6 11 1 -1
BITMAP
04
08
10
24
48
90
48
24
10
08
04
ENDCHAR
STARTCHAR unlhd
ENCODING 146
SWIDTH 666 0
DWIDTH 9 0
BBX 8 9 1 -1
BITMAP
03
0d
31
c1
31
0d
03
00
ff
ENDCHAR
STARTCHAR lhd
ENCODING 147
SWIDTH 666 0
DWIDTH 9 0
BBX 8 7 1 1
BITMAP
03
0d
31
c1
31
0d
03
ENDCHAR
STARTCHAR rhd
ENCODING 148
SWIDTH 666 0
DWIDTH 9 0
BBX 8 7 1 1
BITMAP
c0
b0
8c
83
8c
b0
c0
ENDCHAR
STARTCHAR tturnstile
ENCODING 149
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 3 0
BITMAP
a0
a0
a0
a0
ff
a0
a0
a0
a0
ENDCHAR
STARTCHAR langle
ENCODING 150
SWIDTH 600 0
DWIDTH 9 0
BBX 4 12 3 -2
BITMAP
10
20
20
40
40
80
80
40
40
20
20
10
ENDCHAR
STARTCHAR rangle
ENCODING 151
SWIDTH 600 0
DWIDTH 9 0
BBX 4 12 3 -2
BITMAP
80
40
40
20
20
10
10
20
20
40
40
80
ENDCHAR
STARTCHAR choice
ENCODING 152
SWIDTH 666 0
DWIDTH 9 0
BBX 6 12 1 -2
BITMAP
3c
24
24
24
24
24
24
24
24
24
24
3c
ENDCHAR
STARTCHAR top
ENCODING 153
SWIDTH 666 0
DWIDTH 9 0
BBX 7 6 1 2
BITMAP
fe
10
10
10
10
10
ENDCHAR
STARTCHAR Or
ENCODING 154
SWIDTH 600 0
DWIDTH 9 0
BBX 7 12 1 -2
BITMAP
82
82
82
44
44
44
28
28
28
10
10
10
ENDCHAR
STARTCHAR ocdot
ENCODING 155
SWIDTH 240 0
DWIDTH 9 0
BBX 9 9 0 0
BITMAP
1c00
2200
4100
8080
8880
8080
4100
2200
1c00
ENDCHAR
STARTCHAR iota
ENCODING 156
SWIDTH 168 0
DWIDTH 9 0
BBX 3 6 1 0
BITMAP
e0
60
60
c0
e0
c0
ENDCHAR
STARTCHAR upsilon
ENCODING 157
SWIDTH 168 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
c4
62
62
62
62
64
38
ENDCHAR
STARTCHAR Upsilon
ENCODING 158
SWIDTH 264 0
DWIDTH 9 0
BBX 8 10 0 -1
BITMAP
c3
64
38
18
18
18
18
18
18
3c
ENDCHAR
STARTCHAR Xi
ENCODING 159
SWIDTH 264 0
DWIDTH 9 0
BBX 9 10 1 -1
BITMAP
ff80
ff80
8080
0000
1c00
1c00
0000
8080
ff80
ff80
ENDCHAR
STARTCHAR space2
ENCODING 160
SWIDTH 264 0
DWIDTH 9 0
BBX 8 1 1 0
BITMAP
e7
ENDCHAR
STARTCHAR Gamma
ENCODING 161
SWIDTH 216 0
DWIDTH 9 0
BBX 7 10 1 -1
BITMAP
fe
62
60
60
60
60
60
60
60
f0
ENDCHAR
STARTCHAR Delta
ENCODING 162
SWIDTH 600 0
DWIDTH 9 0
BBX 9 10 0 -1
BITMAP
0800
0800
1c00
1c00
1600
2600
2300
4300
4180
ff80
ENDCHAR
STARTCHAR Theta
ENCODING 163
SWIDTH 264 0
DWIDTH 9 0
BBX 9 10 1 -1
BITMAP
3e00
4100
c180
c180
dd80
dd80
c180
c180
4100
3e00
ENDCHAR
STARTCHAR Lambda
ENCODING 164
SWIDTH 600 0
DWIDTH 9 0
BBX 9 10 0 -1
BITMAP
0800
0800
1c00
1c00
1600
2600
2300
4300
4180
e380
ENDCHAR
STARTCHAR Pi
ENCODING 165
SWIDTH 264 0
DWIDTH 9 0
BBX 9 10 0 -1
BITMAP
ff80
6300
6300
6300
6300
6300
6300
6300
6300
f780
ENDCHAR
STARTCHAR Sigma
ENCODING 166
SWIDTH 240 0
DWIDTH 9 0
BBX 9 10 1 -1
BITMAP
7f80
3080
1800
0c00
0400
0800
1000
2080
7f80
ff00
ENDCHAR
STARTCHAR Phi
ENCODING 167
SWIDTH 264 0
DWIDTH 9 0
BBX 10 10 1 -1
BITMAP
1e00
0c00
7f80
ccc0
ccc0
ccc0
ccc0
7f80
0c00
1e00
ENDCHAR
STARTCHAR Psi
ENCODING 168
SWIDTH 264 0
DWIDTH 9 0
BBX 10 10 1 -1
BITMAP
1e00
8c40
ccc0
ccc0
ccc0
ccc0
7f80
0c00
0c00
1e00
ENDCHAR
STARTCHAR Omega
ENCODING 169
SWIDTH 264 0
DWIDTH 9 0
BBX 9 10 1 -1
BITMAP
3e00
6300
c180
c180
c180
c180
6300
3600
9480
f780
ENDCHAR
STARTCHAR alpha
ENCODING 170
SWIDTH 216 0
DWIDTH 9 0
BBX 7 6 0 0
BITMAP
76
9c
8c
88
98
76
ENDCHAR
STARTCHAR beta
ENCODING 171
SWIDTH 192 0
DWIDTH 9 0
BBX 7 11 1 -3
BITMAP
1c
22
22
4c
42
42
44
98
80
80
00
ENDCHAR
STARTCHAR gamma
ENCODING 172
SWIDTH 168 0
DWIDTH 9 0
BBX 7 9 1 -3
BITMAP
62
94
08
08
18
18
28
28
10
ENDCHAR
STARTCHAR delta
ENCODING 173
SWIDTH 144 0
DWIDTH 9 0
BBX 5 10 2 0
BITMAP
38
60
40
30
78
c8
88
90
90
60
ENDCHAR
STARTCHAR epsilon
ENCODING 174
SWIDTH 144 0
DWIDTH 9 0
BBX 5 8 2 0
BITMAP
30
48
80
60
40
80
88
70
ENDCHAR
STARTCHAR zeta
ENCODING 175
SWIDTH 144 0
DWIDTH 9 0
BBX 6 13 1 -3
BITMAP
10
1c
20
40
40
80
80
80
c0
70
18
18
00
ENDCHAR
STARTCHAR eta
ENCODING 176
SWIDTH 168 0
DWIDTH 9 0
BBX 6 9 1 -3
BITMAP
dc
64
44
44
88
88
08
10
10
ENDCHAR
STARTCHAR theta
ENCODING 177
SWIDTH 216 0
DWIDTH 9 0
BBX 7 10 1 0
BITMAP
0c
12
12
12
ce
24
24
48
48
70
ENDCHAR
STARTCHAR kappa
ENCODING 178
SWIDTH 192 0
DWIDTH 9 0
BBX 7 6 1 0
BITMAP
ce
50
70
50
52
8c
ENDCHAR
STARTCHAR lambda
ENCODING 179
SWIDTH 192 0
DWIDTH 9 0
BBX 8 10 0 0
BITMAP
30
18
08
08
18
18
34
64
62
c3
ENDCHAR
STARTCHAR mu
ENCODING 180
SWIDTH 216 0
DWIDTH 9 0
BBX 7 9 1 -3
BITMAP
22
22
44
44
44
7e
40
80
80
ENDCHAR
STARTCHAR nu
ENCODING 181
SWIDTH 168 0
DWIDTH 9 0
BBX 6 6 1 0
BITMAP
64
24
28
48
50
e0
ENDCHAR
STARTCHAR xi
ENCODING 182
SWIDTH 144 0
DWIDTH 9 0
BBX 6 13 1 -3
BITMAP
10
3c
40
40
40
38
40
80
80
f0
08
08
10
ENDCHAR
STARTCHAR pi
ENCODING 183
SWIDTH 192 0
DWIDTH 9 0
BBX 7 6 1 0
BITMAP
7e
a8
28
28
48
48
ENDCHAR
STARTCHAR rho
ENCODING 184
SWIDTH 168 0
DWIDTH 9 0
BBX 6 9 1 -3
BITMAP
1c
24
44
44
48
70
40
40
80
ENDCHAR
STARTCHAR sigma
ENCODING 185
SWIDTH 192 0
DWIDTH 9 0
BBX 7 6 1 0
BITMAP
3e
48
88
88
88
70
ENDCHAR
STARTCHAR tau
ENCODING 186
SWIDTH 144 0
DWIDTH 9 0
BBX 6 6 1 0
BITMAP
7c
a0
20
20
20
c0
ENDCHAR
STARTCHAR phi
ENCODING 187
SWIDTH 216 0
DWIDTH 9 0
BBX 7 9 1 -3
BITMAP
4c
92
92
a2
a4
78
40
40
40
ENDCHAR
STARTCHAR chi
ENCODING 188
SWIDTH 216 0
DWIDTH 9 0
BBX 8 9 0 -3
BITMAP
61
32
14
18
10
10
30
48
44
ENDCHAR
STARTCHAR psi
ENCODING 189
SWIDTH 216 0
DWIDTH 9 0
BBX 7 11 1 -3
BITMAP
08
48
ca
4a
52
54
54
38
10
00
00
ENDCHAR
STARTCHAR omega
ENCODING 190
SWIDTH 216 0
DWIDTH 9 0
BBX 7 6 1 0
BITMAP
42
82
92
a2
a4
78
ENDCHAR
STARTCHAR not
ENCODING 191
SWIDTH 666 0
DWIDTH 9 0
BBX 6 4 1 0
BITMAP
fc
04
04
04
ENDCHAR
STARTCHAR and
ENCODING 192
SWIDTH 666 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
10
28
28
44
44
82
82
ENDCHAR
STARTCHAR or
ENCODING 193
SWIDTH 666 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
82
82
44
44
28
28
10
ENDCHAR
STARTCHAR forall
ENCODING 194
SWIDTH 666 0
DWIDTH 9 0
BBX 7 11 1 -2
BITMAP
82
82
44
7c
44
28
28
10
10
00
00
ENDCHAR
STARTCHAR exists
ENCODING 195
SWIDTH 666 0
DWIDTH 9 0
BBX 5 9 2 0
BITMAP
f8
08
08
08
f8
08
08
08
f8
ENDCHAR
STARTCHAR And
ENCODING 196
SWIDTH 600 0
DWIDTH 9 0
BBX 7 12 1 -2
BITMAP
10
10
10
28
28
28
44
44
44
82
82
82
ENDCHAR
STARTCHAR lceil
ENCODING 197
SWIDTH 600 0
DWIDTH 9 0
BBX 5 12 1 -2
BITMAP
f8
80
80
80
80
80
80
80
80
80
80
80
ENDCHAR
STARTCHAR rceil
ENCODING 198
SWIDTH 600 0
DWIDTH 9 0
BBX 5 12 1 -2
BITMAP
f8
08
08
08
08
08
08
08
08
08
08
08
ENDCHAR
STARTCHAR lfloor
ENCODING 199
SWIDTH 600 0
DWIDTH 9 0
BBX 5 12 1 -2
BITMAP
80
80
80
80
80
80
80
80
80
80
80
f8
ENDCHAR
STARTCHAR rfloor
ENCODING 200
SWIDTH 600 0
DWIDTH 9 0
BBX 5 12 1 -2
BITMAP
08
08
08
08
08
08
08
08
08
08
08
f8
ENDCHAR
STARTCHAR turnstile
ENCODING 201
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 3 0
BITMAP
80
80
80
80
ff
80
80
80
80
ENDCHAR
STARTCHAR Turnstile
ENCODING 202
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 3 0
BITMAP
80
80
80
ff
80
ff
80
80
80
ENDCHAR
STARTCHAR lbrakk
ENCODING 203
SWIDTH 600 0
DWIDTH 9 0
BBX 6 12 1 -2
BITMAP
fc
a0
a0
a0
a0
a0
a0
a0
a0
a0
a0
fc
ENDCHAR
STARTCHAR rbrakk
ENCODING 204
SWIDTH 600 0
DWIDTH 9 0
BBX 6 12 1 -2
BITMAP
fc
14
14
14
14
14
14
14
14
14
14
fc
ENDCHAR
STARTCHAR cdot
ENCODING 205
SWIDTH 600 0
DWIDTH 8 0
BBX 2 2 3 3
BITMAP
c0
c0
ENDCHAR
STARTCHAR in
ENCODING 206
SWIDTH 216 0
DWIDTH 9 0
BBX 6 10 1 -3
BITMAP
3c
40
80
f8
80
40
3c
00
00
00
ENDCHAR
STARTCHAR subseteq
ENCODING 207
SWIDTH 666 0
DWIDTH 9 0
BBX 6 10 1 -3
BITMAP
7c
80
80
80
7c
00
fc
00
00
00
ENDCHAR
STARTCHAR inter
ENCODING 208
SWIDTH 666 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
78
84
84
84
84
84
84
ENDCHAR
STARTCHAR union
ENCODING 209
SWIDTH 666 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
84
84
84
84
84
84
78
ENDCHAR
STARTCHAR Inter
ENCODING 210
SWIDTH 600 0
DWIDTH 9 0
BBX 8 10 1 -1
BITMAP
3c
42
81
81
81
81
81
81
81
81
ENDCHAR
STARTCHAR Union
ENCODING 211
SWIDTH 600 0
DWIDTH 9 0
BBX 8 10 1 -1
BITMAP
81
81
81
81
81
81
81
81
42
3c
ENDCHAR
STARTCHAR sqinter
ENCODING 212
SWIDTH 666 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
fc
84
84
84
84
84
84
ENDCHAR
STARTCHAR squnion
ENCODING 213
SWIDTH 666 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
84
84
84
84
84
84
fc
ENDCHAR
STARTCHAR Sqinter
ENCODING 214
SWIDTH 600 0
DWIDTH 9 0
BBX 8 10 1 -1
BITMAP
ff
81
81
81
81
81
81
81
81
81
ENDCHAR
STARTCHAR Squnion
ENCODING 215
SWIDTH 600 0
DWIDTH 9 0
BBX 8 10 1 -1
BITMAP
81
81
81
81
81
81
81
81
81
ff
ENDCHAR
STARTCHAR bottom
ENCODING 216
SWIDTH 666 0
DWIDTH 9 0
BBX 7 6 1 0
BITMAP
10
10
10
10
10
fe
ENDCHAR
STARTCHAR doteq
ENCODING 217
SWIDTH 144 0
DWIDTH 9 0
BBX 7 5 1 2
BITMAP
10
00
fe
00
fe
ENDCHAR
STARTCHAR equiv
ENCODING 218
SWIDTH 240 0
DWIDTH 9 0
BBX 6 5 1 1
BITMAP
fc
00
fc
00
fc
ENDCHAR
STARTCHAR noteq
ENCODING 219
SWIDTH 666 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
08
08
fe
10
fe
20
20
ENDCHAR
STARTCHAR sqsubset
ENCODING 220
SWIDTH 666 0
DWIDTH 9 0
BBX 6 5 1 2
BITMAP
fc
80
80
80
fc
ENDCHAR
STARTCHAR sqsubseteq
ENCODING 221
SWIDTH 666 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
fc
80
80
80
fc
00
fc
ENDCHAR
STARTCHAR prec
ENCODING 222
SWIDTH 666 0
DWIDTH 9 0
BBX 7 7 1 1
BITMAP
02
04
18
e0
18
04
02
ENDCHAR
STARTCHAR preceq
ENCODING 223
SWIDTH 666 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
02
04
18
e0
18
04
02
00
fe
ENDCHAR
STARTCHAR succ
ENCODING 224
SWIDTH 666 0
DWIDTH 9 0
BBX 7 7 1 1
BITMAP
80
40
30
0e
30
40
80
ENDCHAR
STARTCHAR approx
ENCODING 225
SWIDTH 240 0
DWIDTH 9 0
BBX 7 6 1 1
BITMAP
60
92
0c
60
92
0c
ENDCHAR
STARTCHAR sim
ENCODING 226
SWIDTH 240 0
DWIDTH 9 0
BBX 7 3 1 2
BITMAP
60
92
0c
ENDCHAR
STARTCHAR simeq
ENCODING 227
SWIDTH 240 0
DWIDTH 9 0
BBX 7 5 1 1
BITMAP
60
92
0c
00
fe
ENDCHAR
STARTCHAR le
ENCODING 228
SWIDTH 666 0
DWIDTH 9 0
BBX 6 8 1 0
BITMAP
0c
30
c0
30
0c
00
00
fc
ENDCHAR
STARTCHAR Colon
ENCODING 229
SWIDTH 600 0
DWIDTH 9 0
BBX 4 7 2 0
BITMAP
90
90
00
00
00
90
90
ENDCHAR
STARTCHAR leftarrow
ENCODING 230
SWIDTH 666 0
DWIDTH 9 0
BBX 9 5 0 2
BITMAP
3000
6000
ff80
6000
3000
ENDCHAR
STARTCHAR midarrow
ENCODING 231
SWIDTH 600 0
DWIDTH 9 0
BBX 9 1 0 4
BITMAP
ff80
ENDCHAR
STARTCHAR rightarrow
ENCODING 232
SWIDTH 666 0
DWIDTH 9 0
BBX 9 5 0 2
BITMAP
0600
0300
ff80
0300
0600
ENDCHAR
STARTCHAR Leftarrow
ENCODING 233
SWIDTH 666 0
DWIDTH 9 0
BBX 9 7 0 0
BITMAP
1800
3000
7f80
c000
7f80
3000
1800
ENDCHAR
STARTCHAR Midarrow
ENCODING 234
SWIDTH 600 0
DWIDTH 9 0
BBX 9 3 0 2
BITMAP
ff80
0000
ff80
ENDCHAR
STARTCHAR Rightarrow
ENCODING 235
SWIDTH 666 0
DWIDTH 9 0
BBX 9 7 0 0
BITMAP
0c00
0600
ff00
0180
ff00
0600
0c00
ENDCHAR
STARTCHAR bow
ENCODING 236
SWIDTH 666 0
DWIDTH 9 0
BBX 8 3 0 4
BITMAP
3c
42
81
ENDCHAR
STARTCHAR mapsto
ENCODING 237
SWIDTH 666 0
DWIDTH 9 0
BBX 8 5 1 2
BITMAP
84
82
ff
82
84
ENDCHAR
STARTCHAR leadsto
ENCODING 238
SWIDTH 666 0
DWIDTH 9 0
BBX 8 5 0 2
BITMAP
04
62
93
0e
04
ENDCHAR
STARTCHAR up
ENCODING 239
SWIDTH 144 0
DWIDTH 9 0
BBX 5 9 2 0
BITMAP
20
70
a8
20
20
20
20
20
20
ENDCHAR
STARTCHAR down
ENCODING 240
SWIDTH 144 0
DWIDTH 9 0
BBX 5 9 2 0
BITMAP
20
20
20
20
20
20
a8
70
20
ENDCHAR
STARTCHAR notin
ENCODING 241
SWIDTH 216 0
DWIDTH 9 0
BBX 6 11 1 -3
BITMAP
08
3c
48
90
f8
90
60
3c
20
00
00
ENDCHAR
STARTCHAR times
ENCODING 242
SWIDTH 666 0
DWIDTH 9 0
BBX 6 6 1 1
BITMAP
84
48
30
30
48
84
ENDCHAR
STARTCHAR oplus
ENCODING 243
SWIDTH 240 0
DWIDTH 9 0
BBX 9 9 0 0
BITMAP
1c00
2200
4900
8880
be80
8880
4900
2200
1c00
ENDCHAR
STARTCHAR ominus
ENCODING 244
SWIDTH 240 0
DWIDTH 9 0
BBX 9 9 0 0
BITMAP
1c00
2200
4100
8080
be80
8080
4100
2200
1c00
ENDCHAR
STARTCHAR otimes
ENCODING 245
SWIDTH 666 0
DWIDTH 9 0
BBX 9 9 0 0
BITMAP
1c00
2200
6300
9480
8880
9480
6300
2200
1c00
ENDCHAR
STARTCHAR oslash
ENCODING 246
SWIDTH 666 0
DWIDTH 9 0
BBX 9 9 0 0
BITMAP
1c00
2200
4300
8480
8880
9080
6100
2200
1c00
ENDCHAR
STARTCHAR subset
ENCODING 247
SWIDTH 666 0
DWIDTH 9 0
BBX 6 10 1 -3
BITMAP
7c
80
80
80
7c
00
00
00
00
00
ENDCHAR
STARTCHAR infinity
ENCODING 248
SWIDTH 666 0
DWIDTH 9 0
BBX 9 5 1 2
BITMAP
7700
8c80
8880
9880
7700
ENDCHAR
STARTCHAR box
ENCODING 249
SWIDTH 600 0
DWIDTH 9 0
BBX 8 8 1 0
BITMAP
ff
81
81
81
81
81
81
ff
ENDCHAR
STARTCHAR diamond
ENCODING 250
SWIDTH 600 0
DWIDTH 9 0
BBX 9 9 1 0
BITMAP
0800
1400
2200
4100
8080
4100
2200
1400
0800
ENDCHAR
STARTCHAR circ
ENCODING 251
SWIDTH 666 0
DWIDTH 9 0
BBX 5 5 2 2
BITMAP
70
88
88
88
70
ENDCHAR
STARTCHAR bullet
ENCODING 252
SWIDTH 666 0
DWIDTH 9 0
BBX 5 5 2 2
BITMAP
70
f8
f8
f8
70
ENDCHAR
STARTCHAR parallel
ENCODING 253
SWIDTH 666 0
DWIDTH 9 0
BBX 6 12 1 -2
BITMAP
14
14
14
14
14
14
14
14
14
14
14
14
ENDCHAR
STARTCHAR surd
ENCODING 254
SWIDTH 0 0
DWIDTH 9 0
BBX 7 8 1 0
BITMAP
06
04
04
c8
48
50
30
20
ENDCHAR
STARTCHAR copyright
ENCODING 255
SWIDTH 666 0
DWIDTH 9 0
BBX 9 9 0 0
BITMAP
1c00
2200
5d00
a080
a080
a080
5d00
2200
1c00
ENDCHAR
ENDFONT