src/Tools/8bit/fonts/spcr14.bdf

re-organization of theorems from Alloc and PPROD, partly into new theory
Lift_prog

STARTFONT 2.1
COMMENT
COMMENT  Copyright 1984, 1987 Adobe Systems, Inc.
COMMENT  Portions Copyright 1988 Digital Equipment Corporation
COMMENT  Portions Copyright 1993 TU Muenchen, Germany
COMMENT
COMMENT  Adobe is a registered trademark of Adobe Systems, Inc.  Permission
COMMENT  to use these trademarks is hereby granted only in association with the
COMMENT  images described in this file.
COMMENT
COMMENT  Permission to use, copy, modify, and distribute this software and
COMMENT  its documentation for any purpose and without fee is hereby granted,
COMMENT  provided that the above copyright notices appear in all copies and
COMMENT  that both those copyright notices and this permission notice appear
COMMENT  in supporting documentation, and that the names of Adobe Systems,
COMMENT  Digital Equipment Corporation, and TU Muenchen not be used in
COMMENT  advertising or publicity pertaining to distribution of the software
COMMENT  without specific, written prior permission.  Adobe Systems, Digital
COMMENT  Equipment Corporation, and TU Muenchen  make no representations about
COMMENT  the suitability of this software for any purpose.  It is provided "as
COMMENT  is" without express or implied warranty.
COMMENT
COMMENT  ADOBE SYSTEMS, DIGITAL EQUIPMENT CORPORATION AND TU MUENCHEN DISCLAIM
COMMENT  ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED
COMMENT  WARRANTIES OF MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL ADOBE
COMMENT  SYSTEMS, DIGITAL EQUIPMENT CORPORATION AND TU MUENCHEN BE LIABLE FOR 
COMMENT  ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
COMMENT  WHATSOEVE RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
COMMENT  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT 
COMMENT  OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
FONT spcr14
SIZE 14 75 75
FONTBOUNDINGBOX 9 14 4 -3
STARTPROPERTIES 22
FONTNAME_REGISTRY ""
FAMILY_NAME "Spectrum"
FOUNDRY ""
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 ""
CHARSET_ENCODING "1"
CHARSET_COLLECTIONS ""
FULL_NAME "Spectrum14"
COPYRIGHT "Copyright (c) 1985,1987 Adobe Systems,Inc.,Portions Copyright 1988 Digital Equipment Corp., Portions Copyright 1993 TU Muenchen"
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 not
ENCODING 161
SWIDTH 666 0
DWIDTH 9 0
BBX 7 4 1 0
BITMAP
fe
06
06
06
ENDCHAR
STARTCHAR and
ENCODING 162
SWIDTH 666 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
10
28
28
44
44
82
82
ENDCHAR
STARTCHAR or
ENCODING 163
SWIDTH 666 0
DWIDTH 9 0
BBX 7 7 1 0
BITMAP
82
82
44
44
28
28
10
ENDCHAR
STARTCHAR implies
ENCODING 164
SWIDTH 666 0
DWIDTH 9 0
BBX 8 7 0 0
BITMAP
18
0c
fe
03
fe
0c
18
ENDCHAR
STARTCHAR equivalent
ENCODING 165
SWIDTH 666 0
DWIDTH 9 0
BBX 9 7 0 0
BITMAP
1400
2200
7f00
c180
7f00
2200
1400
ENDCHAR
STARTCHAR not_equal
ENCODING 166
SWIDTH 666 0
DWIDTH 9 0
BBX 7 5 1 1
BITMAP
08
fe
10
fe
20
ENDCHAR
STARTCHAR for_all
ENCODING 167
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 168
SWIDTH 666 0
DWIDTH 9 0
BBX 5 11 2 -2
BITMAP
f8
18
18
18
f8
18
18
18
f8
00
00
ENDCHAR
STARTCHAR for_all_bottom
ENCODING 169
SWIDTH 666 0
DWIDTH 9 0
BBX 9 12 0 -2
BITMAP
0100
8900
8b80
8800
f800
5000
5000
5000
2000
2000
0000
0000
ENDCHAR
STARTCHAR exists_bottom
ENCODING 170
SWIDTH 666 0
DWIDTH 9 0
BBX 8 12 0 -2
BITMAP
02
f2
17
10
10
f0
10
10
10
f0
00
00
ENDCHAR
STARTCHAR delta
ENCODING 171
SWIDTH 144 0
DWIDTH 9 0
BBX 5 10 2 0
BITMAP
38
60
40
30
78
c8
88
90
90
60
ENDCHAR
STARTCHAR sq_subseteq
ENCODING 172
SWIDTH 666 0
DWIDTH 9 0
BBX 6 6 1 1
BITMAP
fc
80
80
fc
00
fc
ENDCHAR
STARTCHAR bottom
ENCODING 173
SWIDTH 666 0
DWIDTH 9 0
BBX 7 6 1 1
BITMAP
10
10
10
10
10
fe
ENDCHAR
STARTCHAR rightarrow
ENCODING 174
SWIDTH 666 0
DWIDTH 9 0
BBX 8 5 0 2
BITMAP
0c
06
ff
06
0c
ENDCHAR
STARTCHAR twohead_rightarrow
ENCODING 175
SWIDTH 666 0
DWIDTH 9 0
BBX 9 5 0 2
BITMAP
1200
0900
ff80
0900
1200
ENDCHAR
STARTCHAR times
ENCODING 176
SWIDTH 666 0
DWIDTH 9 0
BBX 6 6 1 0
BITMAP
84
48
30
30
48
84
ENDCHAR
STARTCHAR subseteq
ENCODING 177
SWIDTH 666 0
DWIDTH 9 0
BBX 6 10 1 -2
BITMAP
7c
80
80
80
7c
00
7c
00
00
00
ENDCHAR
STARTCHAR lambda
ENCODING 178
SWIDTH 192 0
DWIDTH 9 0
BBX 8 10 0 0
BITMAP
60
30
30
18
18
2c
2c
46
46
83
ENDCHAR
STARTCHAR Gamma
ENCODING 179
SWIDTH 216 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
fe
42
42
40
40
40
40
40
f0
ENDCHAR
STARTCHAR Delta
ENCODING 180
SWIDTH 288 0
DWIDTH 9 0
BBX 7 8 1 0
BITMAP
10
10
28
28
44
44
82
fe
ENDCHAR
STARTCHAR Theta
ENCODING 181
SWIDTH 264 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
38
44
82
82
fe
82
82
44
38
ENDCHAR
STARTCHAR Lambda
ENCODING 182
SWIDTH 240 0
DWIDTH 9 0
BBX 7 8 1 0
BITMAP
10
10
28
28
28
44
44
ee
ENDCHAR
STARTCHAR Xi
ENCODING 183
SWIDTH 240 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
fe
82
00
00
7c
00
00
82
fe
ENDCHAR
STARTCHAR Pi
ENCODING 184
SWIDTH 264 0
DWIDTH 9 0
BBX 7 8 1 0
BITMAP
fe
44
44
44
44
44
44
ee
ENDCHAR
STARTCHAR Sigma
ENCODING 185
SWIDTH 240 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
fe
82
40
20
10
20
40
82
fe
ENDCHAR
STARTCHAR Upsilon
ENCODING 186
SWIDTH 264 0
DWIDTH 9 0
BBX 7 8 1 0
BITMAP
ee
ba
10
10
10
10
10
38
ENDCHAR
STARTCHAR Phi
ENCODING 187
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 188
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 189
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 190
SWIDTH 216 0
DWIDTH 9 0
BBX 8 6 0 0
BITMAP
39
49
8e
8c
8c
76
ENDCHAR
STARTCHAR beta
ENCODING 191
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 192
SWIDTH 168 0
DWIDTH 9 0
BBX 7 9 1 -3
BITMAP
62
94
08
08
18
18
28
28
10
ENDCHAR
STARTCHAR epsilon
ENCODING 193
SWIDTH 144 0
DWIDTH 9 0
BBX 4 6 2 0
BITMAP
70
40
e0
80
90
60
ENDCHAR
STARTCHAR zeta
ENCODING 194
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 195
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 196
SWIDTH 216 0
DWIDTH 9 0
BBX 7 10 1 0
BITMAP
0c
12
12
12
ce
24
24
48
48
70
ENDCHAR
STARTCHAR iota
ENCODING 197
SWIDTH 120 0
DWIDTH 9 0
BBX 3 6 3 0
BITMAP
c0
40
40
80
a0
c0
ENDCHAR
STARTCHAR kappa
ENCODING 198
SWIDTH 192 0
DWIDTH 9 0
BBX 7 6 1 0
BITMAP
ce
50
70
50
52
8c
ENDCHAR
STARTCHAR mu
ENCODING 199
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 200
SWIDTH 168 0
DWIDTH 9 0
BBX 6 6 1 0
BITMAP
64
24
28
48
50
e0
ENDCHAR
STARTCHAR xi
ENCODING 201
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 202
SWIDTH 192 0
DWIDTH 9 0
BBX 7 6 1 0
BITMAP
7e
a8
28
28
48
48
ENDCHAR
STARTCHAR rho
ENCODING 203
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 204
SWIDTH 192 0
DWIDTH 9 0
BBX 7 6 1 0
BITMAP
3e
48
88
88
88
70
ENDCHAR
STARTCHAR tau
ENCODING 205
SWIDTH 144 0
DWIDTH 9 0
BBX 6 6 1 0
BITMAP
7c
a0
20
20
20
c0
ENDCHAR
STARTCHAR upsilon
ENCODING 206
SWIDTH 192 0
DWIDTH 9 0
BBX 7 6 1 0
BITMAP
46
c2
42
44
48
30
ENDCHAR
STARTCHAR phi
ENCODING 207
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 208
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 209
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 210
SWIDTH 216 0
DWIDTH 9 0
BBX 7 6 1 0
BITMAP
42
82
92
a2
a4
78
ENDCHAR
STARTCHAR leftarrow
ENCODING 211
SWIDTH 666 0
DWIDTH 9 0
BBX 8 5 0 2
BITMAP
30
60
ff
60
30
ENDCHAR
STARTCHAR Leftarrow
ENCODING 212
SWIDTH 666 0
DWIDTH 9 0
BBX 8 7 0 0
BITMAP
18
30
7f
c0
7f
30
18
ENDCHAR
STARTCHAR leftrightarrow
ENCODING 213
SWIDTH 666 0
DWIDTH 9 0
BBX 9 5 0 2
BITMAP
3600
6300
ff80
6300
3600
ENDCHAR
STARTCHAR doteq
ENCODING 214
SWIDTH 144 0
DWIDTH 9 0
BBX 7 5 1 2
BITMAP
10
00
fe
00
fe
ENDCHAR
STARTCHAR mapsto
ENCODING 215
SWIDTH 666 0
DWIDTH 9 0
BBX 7 5 1 2
BITMAP
88
84
fe
84
88
ENDCHAR
STARTCHAR leadsto
ENCODING 216
SWIDTH 666 0
DWIDTH 9 0
BBX 8 5 0 2
BITMAP
04
62
93
0e
04
ENDCHAR
STARTCHAR uparrow
ENCODING 217
SWIDTH 144 0
DWIDTH 9 0
BBX 5 9 2 0
BITMAP
20
70
a8
20
20
20
20
20
20
ENDCHAR
STARTCHAR downarrow
ENCODING 218
SWIDTH 144 0
DWIDTH 9 0
BBX 5 9 2 0
BITMAP
20
20
20
20
20
20
a8
70
20
ENDCHAR
STARTCHAR rightarrow_tail
ENCODING 219
SWIDTH 666 0
DWIDTH 9 0
BBX 8 5 0 2
BITMAP
84
42
3f
42
84
ENDCHAR
STARTCHAR models
ENCODING 220
SWIDTH 666 0
DWIDTH 9 0
BBX 6 7 1 1
BITMAP
80
80
fc
80
fc
80
80
ENDCHAR
STARTCHAR vdash
ENCODING 221
SWIDTH 666 0
DWIDTH 9 0
BBX 6 7 1 1
BITMAP
80
80
80
fc
80
80
80
ENDCHAR
STARTCHAR Box
ENCODING 222
SWIDTH 666 0
DWIDTH 9 0
BBX 5 5 2 1
BITMAP
f8
88
88
88
f8
ENDCHAR
STARTCHAR diamond
ENCODING 223
SWIDTH 666 0
DWIDTH 9 0
BBX 7 7 1 1
BITMAP
10
28
44
82
44
28
10
ENDCHAR
STARTCHAR circ
ENCODING 224
SWIDTH 666 0
DWIDTH 9 0
BBX 5 5 2 2
BITMAP
70
88
88
88
70
ENDCHAR
STARTCHAR bullet
ENCODING 225
SWIDTH 666 0
DWIDTH 9 0
BBX 5 5 2 2
BITMAP
70
f8
f8
f8
70
ENDCHAR
STARTCHAR Join
ENCODING 226
SWIDTH 666 0
DWIDTH 9 0
BBX 7 7 1 1
BITMAP
82
c6
aa
92
aa
c6
82
ENDCHAR
STARTCHAR infinity
ENCODING 227
SWIDTH 666 0
DWIDTH 9 0
BBX 7 5 1 2
BITMAP
44
aa
92
aa
44
ENDCHAR
STARTCHAR in
ENCODING 228
SWIDTH 216 0
DWIDTH 9 0
BBX 6 10 1 -3
BITMAP
3c
40
80
f8
80
40
3c
00
00
00
ENDCHAR
STARTCHAR not_in
ENCODING 229
SWIDTH 666 0
DWIDTH 9 0
BBX 6 9 1 -1
BITMAP
08
3c
50
90
f8
a0
40
7c
80
ENDCHAR
STARTCHAR ni
ENCODING 230
SWIDTH 216 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
f0
08
04
7c
04
08
f0
ENDCHAR
STARTCHAR not_ni
ENCODING 231
SWIDTH 666 0
DWIDTH 9 0
BBX 6 9 1 -1
BITMAP
08
f8
18
14
7c
24
48
f0
80
ENDCHAR
STARTCHAR subset
ENCODING 232
SWIDTH 0 0
DWIDTH 9 0
BBX 6 6 1 1
BITMAP
7c
80
80
80
80
7c
ENDCHAR
STARTCHAR not_subset
ENCODING 233
SWIDTH 0 0
DWIDTH 9 0
BBX 6 8 1 0
BITMAP
08
7c
90
90
a0
a0
7c
40
ENDCHAR
STARTCHAR not_subseteq
ENCODING 234
SWIDTH 0 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
08
7c
90
90
a0
7c
40
fc
80
ENDCHAR
STARTCHAR supset
ENCODING 235
SWIDTH 0 0
DWIDTH 9 0
BBX 6 6 1 1
BITMAP
f8
04
04
04
04
f8
ENDCHAR
STARTCHAR not_supset
ENCODING 236
SWIDTH 0 0
DWIDTH 9 0
BBX 6 8 1 0
BITMAP
08
f8
14
14
24
24
f8
40
ENDCHAR
STARTCHAR supseteq
ENCODING 237
SWIDTH 0 0
DWIDTH 9 0
BBX 6 7 1 1
BITMAP
f8
04
04
04
f8
00
f8
ENDCHAR
STARTCHAR not_supseteq
ENCODING 238
SWIDTH 0 0
DWIDTH 9 0
BBX 6 9 1 0
BITMAP
08
f8
14
24
24
f8
40
f8
80
ENDCHAR
STARTCHAR sqsubset
ENCODING 239
SWIDTH 666 0
DWIDTH 9 0
BBX 6 5 1 2
BITMAP
fc
80
80
80
fc
ENDCHAR
STARTCHAR not_sqsubset
ENCODING 240
SWIDTH 666 0
DWIDTH 9 0
BBX 6 7 1 1
BITMAP
08
fc
90
90
a0
fc
40
ENDCHAR
STARTCHAR not_sqsubseteq
ENCODING 241
SWIDTH 666 0
DWIDTH 9 0
BBX 6 8 1 0
BITMAP
08
fc
90
90
fc
20
fc
40
ENDCHAR
STARTCHAR prec
ENCODING 242
SWIDTH 666 0
DWIDTH 9 0
BBX 7 7 1 2
BITMAP
02
04
18
e0
18
04
02
ENDCHAR
STARTCHAR preceq
ENCODING 243
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 244
SWIDTH 666 0
DWIDTH 9 0
BBX 7 7 1 2
BITMAP
80
40
30
0e
30
40
80
ENDCHAR
STARTCHAR succeq
ENCODING 245
SWIDTH 666 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
80
40
30
0e
30
40
80
00
fe
ENDCHAR
STARTCHAR sim
ENCODING 246
SWIDTH 240 0
DWIDTH 9 0
BBX 7 3 1 3
BITMAP
60
92
0c
ENDCHAR
STARTCHAR simeq
ENCODING 247
SWIDTH 240 0
DWIDTH 9 0
BBX 7 5 1 2
BITMAP
60
92
0c
00
fe
ENDCHAR
STARTCHAR le
ENCODING 248
SWIDTH 666 0
DWIDTH 9 0
BBX 6 8 1 0
BITMAP
0c
30
c0
30
0c
00
00
fc
ENDCHAR
STARTCHAR ge
ENCODING 249
SWIDTH 666 0
DWIDTH 9 0
BBX 6 8 1 0
BITMAP
c0
30
0c
30
c0
00
00
fc
ENDCHAR
STARTCHAR equiv
ENCODING 250
SWIDTH 240 0
DWIDTH 9 0
BBX 6 5 1 1
BITMAP
fc
00
fc
00
fc
ENDCHAR
STARTCHAR not_equiv
ENCODING 251
SWIDTH 240 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
08
fc
10
fc
20
fc
40
ENDCHAR
STARTCHAR emptyset
ENCODING 252
SWIDTH 666 0
DWIDTH 9 0
BBX 8 13 0 -2
BITMAP
00
00
00
00
1d
22
45
49
51
22
5c
00
00
ENDCHAR
STARTCHAR cap
ENCODING 253
SWIDTH 666 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
78
cc
84
84
84
84
84
ENDCHAR
STARTCHAR cup
ENCODING 254
SWIDTH 666 0
DWIDTH 9 0
BBX 6 7 1 0
BITMAP
84
84
84
84
84
cc
78
ENDCHAR
STARTCHAR cal_P
ENCODING 255
SWIDTH 666 0
DWIDTH 9 0
BBX 7 9 1 0
BITMAP
78
b4
22
22
66
7c
40
c0
80
ENDCHAR
ENDFONT