lib/fonts/isabelle14.bdf

tuned;

STARTFONT 2.1
FONT -isabelle-fixed-medium-r-normal--14-140-75-75-m-90-isabelle-0
SIZE 14 75 75
FONTBOUNDINGBOX 9 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 191
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
78
88
80
c0
30
08
88
f0
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 5 10 1 0
BITMAP
20
60
a0
20
20
20
20
20
20
f8
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
84
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
1c
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 7 10 1 -1
BITMAP
38
44
84
9c
a4
a4
9e
80
40
38
ENDCHAR
STARTCHAR A
ENCODING 65
SWIDTH 600 0
DWIDTH 9 0
BBX 9 9 0 0
BITMAP
3800
0800
1400
1400
2200
3e00
4100
4100
f780
ENDCHAR
STARTCHAR B
ENCODING 66
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
fc
42
42
42
7c
42
42
42
fc
ENDCHAR
STARTCHAR C
ENCODING 67
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
3a
46
82
80
80
80
80
42
3c
ENDCHAR
STARTCHAR D
ENCODING 68
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 0 0
BITMAP
fc
42
41
41
41
41
41
42
fc
ENDCHAR
STARTCHAR E
ENCODING 69
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
fe
42
42
48
78
48
42
42
fe
ENDCHAR
STARTCHAR F
ENCODING 70
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
fe
42
42
48
78
48
40
40
f0
ENDCHAR
STARTCHAR G
ENCODING 71
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 0 0
BITMAP
3a
46
82
80
80
8f
82
42
3c
ENDCHAR
STARTCHAR H
ENCODING 72
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 0 0
BITMAP
e7
42
42
42
7e
42
42
42
e7
ENDCHAR
STARTCHAR I
ENCODING 73
SWIDTH 600 0
DWIDTH 9 0
BBX 5 9 2 0
BITMAP
f8
20
20
20
20
20
20
20
f8
ENDCHAR
STARTCHAR J
ENCODING 74
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
3e
08
08
08
08
88
88
88
70
ENDCHAR
STARTCHAR K
ENCODING 75
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 0 0
BITMAP
ee
44
48
50
70
48
44
44
e3
ENDCHAR
STARTCHAR L
ENCODING 76
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 0 0
BITMAP
f8
20
20
20
20
21
21
21
ff
ENDCHAR
STARTCHAR M
ENCODING 77
SWIDTH 600 0
DWIDTH 9 0
BBX 9 9 0 0
BITMAP
e380
6300
5700
5500
4900
4900
4100
4100
e380
ENDCHAR
STARTCHAR N
ENCODING 78
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 0 0
BITMAP
e7
62
52
52
4a
4a
46
46
e2
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 7 9 1 0
BITMAP
fc
42
42
42
42
7c
40
40
f0
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 8 9 0 0
BITMAP
fc
42
42
42
44
78
44
42
e1
ENDCHAR
STARTCHAR S
ENCODING 83
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
74
8c
84
80
78
04
84
c4
b8
ENDCHAR
STARTCHAR T
ENCODING 84
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
fe
92
92
10
10
10
10
10
7c
ENDCHAR
STARTCHAR U
ENCODING 85
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 0 0
BITMAP
e7
42
42
42
42
42
42
42
3c
ENDCHAR
STARTCHAR V
ENCODING 86
SWIDTH 600 0
DWIDTH 9 0
BBX 9 9 0 0
BITMAP
e380
4100
4100
2200
2200
1400
1400
0800
0800
ENDCHAR
STARTCHAR W
ENCODING 87
SWIDTH 600 0
DWIDTH 9 0
BBX 9 9 0 0
BITMAP
e380
4100
4900
4900
5500
5500
2200
2200
2200
ENDCHAR
STARTCHAR X
ENCODING 88
SWIDTH 600 0
DWIDTH 9 0
BBX 8 9 0 0
BITMAP
e7
42
24
24
18
24
24
42
e7
ENDCHAR
STARTCHAR Y
ENCODING 89
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
ee
44
44
28
28
10
10
10
7c
ENDCHAR
STARTCHAR Z
ENCODING 90
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
fc
84
88
10
20
20
44
84
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
84
04
7c
84
8c
76
ENDCHAR
STARTCHAR b
ENCODING 98
SWIDTH 600 0
DWIDTH 9 0
BBX 8 10 0 0
BITMAP
c0
40
40
5c
62
41
41
41
62
dc
ENDCHAR
STARTCHAR c
ENCODING 99
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
3a
46
82
80
80
42
3c
ENDCHAR
STARTCHAR d
ENCODING 100
SWIDTH 600 0
DWIDTH 9 0
BBX 8 10 0 0
BITMAP
06
02
02
3a
46
82
82
82
46
3b
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
f8
ENDCHAR
STARTCHAR g
ENCODING 103
SWIDTH 600 0
DWIDTH 9 0
BBX 8 10 0 -3
BITMAP
3b
46
82
82
82
46
3a
02
04
78
ENDCHAR
STARTCHAR h
ENCODING 104
SWIDTH 600 0
DWIDTH 9 0
BBX 8 10 0 0
BITMAP
c0
40
40
5c
62
42
42
42
42
e7
ENDCHAR
STARTCHAR i
ENCODING 105
SWIDTH 600 0
DWIDTH 9 0
BBX 5 10 2 0
BITMAP
20
20
00
e0
20
20
20
20
20
f8
ENDCHAR
STARTCHAR j
ENCODING 106
SWIDTH 600 0
DWIDTH 9 0
BBX 5 13 1 -3
BITMAP
10
10
00
f8
08
08
08
08
08
08
08
10
e0
ENDCHAR
STARTCHAR k
ENCODING 107
SWIDTH 600 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
c0
40
4e
48
50
60
50
48
ce
ENDCHAR
STARTCHAR l
ENCODING 108
SWIDTH 600 0
DWIDTH 9 0
BBX 5 9 2 0
BITMAP
e0
20
20
20
20
20
20
20
f8
ENDCHAR
STARTCHAR m
ENCODING 109
SWIDTH 600 0
DWIDTH 9 0
BBX 9 7 0 0
BITMAP
db00
6d00
4900
4900
4900
4900
ed80
ENDCHAR
STARTCHAR n
ENCODING 110
SWIDTH 600 0
DWIDTH 9 0
BBX 8 7 0 0
BITMAP
dc
62
42
42
42
42
e7
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 8 10 0 -3
BITMAP
dc
62
41
41
41
62
5c
40
40
f0
ENDCHAR
STARTCHAR q
ENCODING 113
SWIDTH 600 0
DWIDTH 9 0
BBX 8 10 0 -3
BITMAP
3b
46
82
82
82
46
3a
02
02
0f
ENDCHAR
STARTCHAR r
ENCODING 114
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
cc
52
60
40
40
40
f0
ENDCHAR
STARTCHAR s
ENCODING 115
SWIDTH 600 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
7c
84
80
78
04
84
f8
ENDCHAR
STARTCHAR t
ENCODING 116
SWIDTH 600 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
40
40
f8
40
40
40
40
44
38
ENDCHAR
STARTCHAR u
ENCODING 117
SWIDTH 600 0
DWIDTH 9 0
BBX 8 7 0 0
BITMAP
c6
42
42
42
42
46
3b
ENDCHAR
STARTCHAR v
ENCODING 118
SWIDTH 600 0
DWIDTH 9 0
BBX 8 7 0 0
BITMAP
e7
42
42
24
24
18
18
ENDCHAR
STARTCHAR w
ENCODING 119
SWIDTH 600 0
DWIDTH 9 0
BBX 9 7 0 0
BITMAP
e380
4100
4900
4900
2a00
3600
3600
ENDCHAR
STARTCHAR x
ENCODING 120
SWIDTH 600 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
ee
44
28
10
28
44
ee
ENDCHAR
STARTCHAR y
ENCODING 121
SWIDTH 600 0
DWIDTH 9 0
BBX 8 10 0 -3
BITMAP
e7
42
42
24
24
18
08
10
10
78
ENDCHAR
STARTCHAR z
ENCODING 122
SWIDTH 600 0
DWIDTH 9 0
BBX 5 7 1 0
BITMAP
f8
88
10
20
40
88
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 space
ENCODING 160
SWIDTH 600 0
DWIDTH 9 0
BBX 1 1 0 0
BITMAP
00
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
3080
7f80
ff00
ENDCHAR
STARTCHAR Phi
ENCODING 167
SWIDTH 240 0
DWIDTH 9 0
BBX 5 9 2 0
BITMAP
70
20
70
a8
a8
a8
70
20
70
ENDCHAR
STARTCHAR Psi
ENCODING 168
SWIDTH 264 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
38
10
92
54
54
54
38
10
38
ENDCHAR
STARTCHAR Omega
ENCODING 169
SWIDTH 240 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
38
44
82
82
82
44
28
aa
ee
ENDCHAR
STARTCHAR alpha
ENCODING 170
SWIDTH 216 0
DWIDTH 9 0
BBX 8 6 0 0
BITMAP
39
49
8e
8c
8c
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 8 1 0
BITMAP
10
10
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