lib/fonts/isabelle24.bdf
author nipkow
Mon, 06 Aug 2001 13:43:24 +0200
changeset 11464 ddea204de5bc
parent 6281 25d41c118304
permissions -rw-r--r--
turned translation for 1::nat into def. introduced 1' and replaced most occurrences of 1 by 1'.

STARTFONT 2.1
FONT -isabelle-fixed-bold-r-normal--24-240-75-75-m-150-isabelle-0
SIZE 24 75 75
FONTBOUNDINGBOX 16 22 6 -5
STARTPROPERTIES 22
FONTNAME_REGISTRY ""
FOUNDRY "Isabelle"
FAMILY_NAME "Fixed"
WEIGHT_NAME "Bold"
SLANT "R"
SETWIDTH_NAME "Normal"
ADD_STYLE_NAME ""
PIXEL_SIZE 24
POINT_SIZE 240
RESOLUTION_X 75
RESOLUTION_Y 75
SPACING "M"
AVERAGE_WIDTH 150
CHARSET_REGISTRY "Isabelle"
CHARSET_ENCODING "0"
CHARSET_COLLECTIONS ""
FULL_NAME "Fixed Bold"
COPYRIGHT "Public"
FONT_ASCENT 17
FONT_DESCENT 5
CAP_HEIGHT 15
X_HEIGHT 11
ENDPROPERTIES
CHARS 206
STARTCHAR space
ENCODING 32
SWIDTH 600 0
DWIDTH 15 0
BBX 1 1 0 0
BITMAP
00
ENDCHAR
STARTCHAR exclam
ENCODING 33
SWIDTH 600 0
DWIDTH 15 0
BBX 4 16 5 0
BITMAP
60
f0
f0
f0
f0
f0
f0
f0
60
60
60
60
00
00
60
60
ENDCHAR
STARTCHAR quotedbl
ENCODING 34
SWIDTH 600 0
DWIDTH 15 0
BBX 8 7 3 8
BITMAP
e7
e7
e7
e7
c6
84
84
ENDCHAR
STARTCHAR numbersign
ENCODING 35
SWIDTH 600 0
DWIDTH 15 0
BBX 12 19 1 -2
BITMAP
0cc0
0cc0
0cc0
0cc0
0cc0
0cc0
7ff0
7ff0
1980
1980
1980
ffe0
ffe0
3300
3300
3300
3300
3300
3300
ENDCHAR
STARTCHAR dollar
ENCODING 36
SWIDTH 600 0
DWIDTH 15 0
BBX 10 20 2 -3
BITMAP
0c00
0c00
3d80
7f80
c380
c180
c000
e000
7e00
1f80
01c0
00c0
c0c0
e1c0
ff80
df00
0c00
0c00
0c00
0c00
ENDCHAR
STARTCHAR percent
ENCODING 37
SWIDTH 600 0
DWIDTH 15 0
BBX 10 15 2 0
BITMAP
3c00
6600
4200
4200
6600
3c00
01c0
0f00
3800
e780
0cc0
0840
0840
0cc0
0780
ENDCHAR
STARTCHAR ampersand
ENCODING 38
SWIDTH 600 0
DWIDTH 15 0
BBX 11 14 2 0
BITMAP
1e00
3f00
6300
6000
6000
3000
3800
7cc0
6fc0
c780
c300
c780
ffe0
7ce0
ENDCHAR
STARTCHAR quoteright
ENCODING 39
SWIDTH 600 0
DWIDTH 15 0
BBX 5 6 4 9
BITMAP
38
38
70
60
c0
80
ENDCHAR
STARTCHAR parenleft
ENCODING 40
SWIDTH 600 0
DWIDTH 15 0
BBX 5 20 6 -4
BITMAP
18
38
30
60
60
60
c0
c0
c0
c0
c0
c0
c0
c0
60
60
60
30
38
18
ENDCHAR
STARTCHAR parenright
ENCODING 41
SWIDTH 600 0
DWIDTH 15 0
BBX 5 20 3 -4
BITMAP
c0
e0
60
30
30
30
18
18
18
18
18
18
18
18
30
30
30
60
e0
c0
ENDCHAR
STARTCHAR asterisk
ENCODING 42
SWIDTH 600 0
DWIDTH 15 0
BBX 10 11 2 5
BITMAP
0c00
0c00
0c00
ccc0
edc0
3f00
0c00
1e00
3300
7380
6180
ENDCHAR
STARTCHAR plus
ENCODING 43
SWIDTH 600 0
DWIDTH 15 0
BBX 12 14 1 0
BITMAP
0600
0600
0600
0600
0600
0600
fff0
fff0
0600
0600
0600
0600
0600
0600
ENDCHAR
STARTCHAR comma
ENCODING 44
SWIDTH 600 0
DWIDTH 15 0
BBX 5 6 4 -3
BITMAP
38
38
70
60
c0
80
ENDCHAR
STARTCHAR minus
ENCODING 45
SWIDTH 600 0
DWIDTH 15 0
BBX 12 2 1 6
BITMAP
fff0
fff0
ENDCHAR
STARTCHAR period
ENCODING 46
SWIDTH 600 0
DWIDTH 15 0
BBX 3 3 5 0
BITMAP
e0
e0
e0
ENDCHAR
STARTCHAR slash
ENCODING 47
SWIDTH 600 0
DWIDTH 15 0
BBX 11 20 2 -3
BITMAP
0060
0060
00c0
00c0
0180
0180
0300
0300
0600
0600
0c00
0c00
1800
1800
3000
3000
6000
6000
c000
c000
ENDCHAR
STARTCHAR zero
ENCODING 48
SWIDTH 600 0
DWIDTH 15 0
BBX 10 16 2 0
BITMAP
1e00
7f80
6180
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
6180
7f80
1e00
ENDCHAR
STARTCHAR one
ENCODING 49
SWIDTH 600 0
DWIDTH 15 0
BBX 10 16 2 0
BITMAP
1c00
fc00
fc00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
ffc0
ffc0
ENDCHAR
STARTCHAR two
ENCODING 50
SWIDTH 600 0
DWIDTH 15 0
BBX 11 16 1 0
BITMAP
1f80
3fc0
70e0
6060
6060
0060
00e0
01c0
0380
0700
0e00
1c00
3800
7000
ffe0
ffe0
ENDCHAR
STARTCHAR three
ENCODING 51
SWIDTH 600 0
DWIDTH 15 0
BBX 11 16 1 0
BITMAP
1f80
3fc0
70e0
6060
0060
00e0
01c0
0f80
0fc0
00e0
0060
0060
c060
e0e0
7fc0
3f80
ENDCHAR
STARTCHAR four
ENCODING 52
SWIDTH 600 0
DWIDTH 15 0
BBX 11 16 1 0
BITMAP
0380
0780
0f80
0d80
1980
1980
3180
3180
6180
6180
ffe0
ffe0
0180
0180
0fe0
0fe0
ENDCHAR
STARTCHAR five
ENCODING 53
SWIDTH 600 0
DWIDTH 15 0
BBX 11 16 2 0
BITMAP
7fc0
7fc0
6000
6000
6000
6f00
7fc0
71c0
00e0
0060
0060
0060
c0e0
e1c0
7fc0
3f00
ENDCHAR
STARTCHAR six
ENCODING 54
SWIDTH 600 0
DWIDTH 15 0
BBX 10 16 3 0
BITMAP
07c0
1fc0
3c00
7000
6000
e000
cf00
df80
f1c0
e0c0
c0c0
c0c0
e0c0
71c0
7f80
1f00
ENDCHAR
STARTCHAR seven
ENCODING 55
SWIDTH 600 0
DWIDTH 15 0
BBX 10 16 2 0
BITMAP
ffc0
ffc0
c0c0
00c0
0180
0180
0180
0300
0300
0300
0600
0600
0600
0c00
0c00
0c00
ENDCHAR
STARTCHAR eight
ENCODING 56
SWIDTH 600 0
DWIDTH 15 0
BBX 10 16 2 0
BITMAP
1e00
7f80
e1c0
c0c0
c0c0
c0c0
6180
3f00
7f80
e1c0
c0c0
c0c0
c0c0
e1c0
7f80
3f00
ENDCHAR
STARTCHAR nine
ENCODING 57
SWIDTH 600 0
DWIDTH 15 0
BBX 10 16 3 0
BITMAP
1e00
7f80
6180
c0c0
c0c0
c0c0
c0c0
c1c0
e3c0
7ec0
3cc0
00c0
0180
0380
ff00
fc00
ENDCHAR
STARTCHAR colon
ENCODING 58
SWIDTH 600 0
DWIDTH 15 0
BBX 3 11 5 0
BITMAP
e0
e0
e0
00
00
00
00
00
e0
e0
e0
ENDCHAR
STARTCHAR semicolon
ENCODING 59
SWIDTH 600 0
DWIDTH 15 0
BBX 5 14 3 -3
BITMAP
38
38
38
00
00
00
00
00
38
38
70
60
c0
80
ENDCHAR
STARTCHAR less
ENCODING 60
SWIDTH 600 0
DWIDTH 15 0
BBX 13 12 1 1
BITMAP
0038
00f0
03c0
0f00
3c00
f000
f000
3c00
0f00
03c0
00f0
0038
ENDCHAR
STARTCHAR equal
ENCODING 61
SWIDTH 600 0
DWIDTH 15 0
BBX 12 6 1 4
BITMAP
fff0
fff0
0000
0000
fff0
fff0
ENDCHAR
STARTCHAR greater
ENCODING 62
SWIDTH 600 0
DWIDTH 15 0
BBX 13 12 1 1
BITMAP
e000
7800
1e00
0780
01e0
0078
0078
01e0
0780
1e00
7800
e000
ENDCHAR
STARTCHAR question
ENCODING 63
SWIDTH 600 0
DWIDTH 15 0
BBX 9 15 3 0
BITMAP
7e00
ff00
c380
c180
c180
0180
0380
0f00
1c00
1800
1800
0000
0000
1800
1800
ENDCHAR
STARTCHAR at
ENCODING 64
SWIDTH 600 0
DWIDTH 15 0
BBX 10 18 2 -2
BITMAP
1c00
7f00
6300
c180
c180
c780
cf80
dd80
d980
d980
dd80
cfc0
c7c0
c000
c000
6180
7f80
1e00
ENDCHAR
STARTCHAR A
ENCODING 65
SWIDTH 600 0
DWIDTH 15 0
BBX 14 15 0 0
BITMAP
3f00
3f80
0780
0780
0cc0
0cc0
1ce0
1860
1860
3ff0
3ff0
7038
6018
fcfc
fcfc
ENDCHAR
STARTCHAR B
ENCODING 66
SWIDTH 600 0
DWIDTH 15 0
BBX 13 15 1 0
BITMAP
ffc0
ffe0
3070
3030
3030
3070
3fe0
3ff0
3038
3018
3018
3018
3038
fff0
ffe0
ENDCHAR
STARTCHAR C
ENCODING 67
SWIDTH 600 0
DWIDTH 15 0
BBX 13 15 1 0
BITMAP
0fd8
3ff8
7038
6018
e018
c000
c000
c000
c000
c000
e000
6018
7038
3ff0
0fc0
ENDCHAR
STARTCHAR D
ENCODING 68
SWIDTH 600 0
DWIDTH 15 0
BBX 14 15 0 0
BITMAP
ffc0
fff0
3038
3018
301c
300c
300c
300c
300c
300c
300c
3018
3038
fff0
ffe0
ENDCHAR
STARTCHAR E
ENCODING 69
SWIDTH 600 0
DWIDTH 15 0
BBX 13 15 1 0
BITMAP
fff0
fff0
3030
3030
3030
3180
3180
3f80
3f80
3180
3198
3018
3018
fff8
fff8
ENDCHAR
STARTCHAR F
ENCODING 70
SWIDTH 600 0
DWIDTH 15 0
BBX 13 15 1 0
BITMAP
fff8
fff8
3018
3018
3018
3180
3180
3f80
3f80
3180
3180
3000
3000
ff00
ff00
ENDCHAR
STARTCHAR G
ENCODING 71
SWIDTH 600 0
DWIDTH 15 0
BBX 13 15 1 0
BITMAP
0fd8
3ff8
7038
6018
e018
c000
c000
c000
c1f8
c1f8
e018
6018
7038
3ff0
0fc0
ENDCHAR
STARTCHAR H
ENCODING 72
SWIDTH 600 0
DWIDTH 15 0
BBX 14 15 0 0
BITMAP
fcfc
fcfc
3030
3030
3030
3030
3ff0
3ff0
3030
3030
3030
3030
3030
fcfc
fcfc
ENDCHAR
STARTCHAR I
ENCODING 73
SWIDTH 600 0
DWIDTH 15 0
BBX 10 15 2 0
BITMAP
ffc0
ffc0
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
ffc0
ffc0
ENDCHAR
STARTCHAR J
ENCODING 74
SWIDTH 600 0
DWIDTH 15 0
BBX 13 15 1 0
BITMAP
1ff8
1ff8
00c0
00c0
00c0
00c0
00c0
00c0
00c0
c0c0
c0c0
c0c0
e1c0
7f80
3f00
ENDCHAR
STARTCHAR K
ENCODING 75
SWIDTH 600 0
DWIDTH 15 0
BBX 14 15 0 0
BITMAP
fcf8
fcf8
30e0
31c0
3380
3700
3e00
3f00
3b80
31c0
30e0
3060
3070
fc3c
fc3c
ENDCHAR
STARTCHAR L
ENCODING 76
SWIDTH 600 0
DWIDTH 15 0
BBX 12 15 1 0
BITMAP
ff00
ff00
1800
1800
1800
1800
1800
1800
1800
1800
1830
1830
1830
fff0
fff0
ENDCHAR
STARTCHAR M
ENCODING 77
SWIDTH 600 0
DWIDTH 15 0
BBX 14 15 0 0
BITMAP
f03c
f03c
7878
7878
7878
6cd8
6cd8
6798
6798
6318
6018
6018
6018
f87c
f87c
ENDCHAR
STARTCHAR N
ENCODING 78
SWIDTH 600 0
DWIDTH 15 0
BBX 13 15 1 0
BITMAP
f0f8
f0f8
7830
7830
6c30
6c30
6630
6630
6330
6330
61b0
61b0
60f0
f8f0
f870
ENDCHAR
STARTCHAR O
ENCODING 79
SWIDTH 600 0
DWIDTH 15 0
BBX 13 15 1 0
BITMAP
0f80
3fe0
7070
6030
e038
c018
c018
c018
c018
c018
e038
6030
7070
3fe0
0f80
ENDCHAR
STARTCHAR P
ENCODING 80
SWIDTH 600 0
DWIDTH 15 0
BBX 13 15 1 0
BITMAP
ffc0
fff0
3038
3018
3018
3018
3018
3038
3ff0
3fc0
3000
3000
3000
ff00
ff00
ENDCHAR
STARTCHAR Q
ENCODING 81
SWIDTH 600 0
DWIDTH 15 0
BBX 13 18 1 -3
BITMAP
0f80
3fe0
7070
6030
e038
c018
c018
c018
c018
c018
e038
6030
7070
3fe0
0f80
1e18
3ff8
39e0
ENDCHAR
STARTCHAR R
ENCODING 82
SWIDTH 600 0
DWIDTH 15 0
BBX 14 15 0 0
BITMAP
ff80
ffe0
3070
3030
3030
3030
3070
3fe0
3f80
31c0
30e0
3060
3070
fc3c
fc3c
ENDCHAR
STARTCHAR S
ENCODING 83
SWIDTH 600 0
DWIDTH 15 0
BBX 12 15 1 0
BITMAP
1fb0
3ff0
7070
6030
6030
7000
3e00
1fc0
03e0
0070
c030
c030
e070
ffe0
dfc0
ENDCHAR
STARTCHAR T
ENCODING 84
SWIDTH 600 0
DWIDTH 15 0
BBX 12 15 1 0
BITMAP
fff0
fff0
c630
c630
c630
c630
0600
0600
0600
0600
0600
0600
0600
3fc0
3fc0
ENDCHAR
STARTCHAR U
ENCODING 85
SWIDTH 600 0
DWIDTH 15 0
BBX 13 15 1 0
BITMAP
f8f8
f8f8
6030
6030
6030
6030
6030
6030
6030
6030
6030
6030
3060
3fe0
1fc0
ENDCHAR
STARTCHAR V
ENCODING 86
SWIDTH 600 0
DWIDTH 15 0
BBX 14 15 0 0
BITMAP
f87c
f87c
6018
6018
3030
3030
3030
1860
1860
1860
0cc0
0cc0
0780
0780
0780
ENDCHAR
STARTCHAR W
ENCODING 87
SWIDTH 600 0
DWIDTH 15 0
BBX 14 15 0 0
BITMAP
f87c
f87c
6018
6318
6318
6798
6798
6fd8
6cd8
6cd8
3cf0
3870
3870
3870
3870
ENDCHAR
STARTCHAR X
ENCODING 88
SWIDTH 600 0
DWIDTH 15 0
BBX 14 15 0 0
BITMAP
fcfc
fcfc
7038
3870
1ce0
0fc0
0780
0300
0780
0cc0
1ce0
3870
7038
fcfc
fcfc
ENDCHAR
STARTCHAR Y
ENCODING 89
SWIDTH 600 0
DWIDTH 15 0
BBX 14 15 0 0
BITMAP
fcfc
fcfc
7038
3870
1860
0cc0
0fc0
0780
0300
0300
0300
0300
0300
1fe0
1fe0
ENDCHAR
STARTCHAR Z
ENCODING 90
SWIDTH 600 0
DWIDTH 15 0
BBX 11 15 2 0
BITMAP
ffe0
ffe0
c0e0
c1c0
c380
0300
0700
0e00
1c00
1800
3860
7060
e060
ffe0
ffe0
ENDCHAR
STARTCHAR bracketleft
ENCODING 91
SWIDTH 600 0
DWIDTH 15 0
BBX 5 20 6 -4
BITMAP
f8
f8
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
f8
f8
ENDCHAR
STARTCHAR backslash
ENCODING 92
SWIDTH 600 0
DWIDTH 15 0
BBX 11 20 2 -3
BITMAP
c000
c000
6000
6000
3000
3000
1800
1800
0c00
0c00
0600
0600
0300
0300
0180
0180
00c0
00c0
0060
0060
ENDCHAR
STARTCHAR bracketright
ENCODING 93
SWIDTH 600 0
DWIDTH 15 0
BBX 5 20 3 -4
BITMAP
f8
f8
18
18
18
18
18
18
18
18
18
18
18
18
18
18
18
18
f8
f8
ENDCHAR
STARTCHAR asciicircum
ENCODING 94
SWIDTH 600 0
DWIDTH 15 0
BBX 8 8 3 8
BITMAP
18
18
3c
3c
66
66
c3
c3
ENDCHAR
STARTCHAR underscore
ENCODING 95
SWIDTH 600 0
DWIDTH 15 0
BBX 15 2 0 -4
BITMAP
fffe
fffe
ENDCHAR
STARTCHAR quoteleft
ENCODING 96
SWIDTH 600 0
DWIDTH 15 0
BBX 5 6 5 9
BITMAP
e0
e0
70
30
18
08
ENDCHAR
STARTCHAR a
ENCODING 97
SWIDTH 600 0
DWIDTH 15 0
BBX 12 11 1 0
BITMAP
3f00
7f80
61c0
00c0
1fc0
7fc0
e0c0
c0c0
c1c0
fff0
7ef0
ENDCHAR
STARTCHAR b
ENCODING 98
SWIDTH 600 0
DWIDTH 15 0
BBX 13 16 0 0
BITMAP
f000
f000
3000
3000
3000
37c0
3ff0
3c70
3838
3018
3018
3018
3838
3c70
fff0
f7c0
ENDCHAR
STARTCHAR c
ENCODING 99
SWIDTH 600 0
DWIDTH 15 0
BBX 13 11 1 0
BITMAP
1fb0
7ff0
70f0
e070
c030
c000
c000
e000
7038
7ff8
1fe0
ENDCHAR
STARTCHAR d
ENCODING 100
SWIDTH 600 0
DWIDTH 15 0
BBX 13 16 1 0
BITMAP
01e0
01e0
0060
0060
0060
1f60
7fe0
71e0
e0e0
c060
c060
c060
e0e0
71e0
7ff8
1f78
ENDCHAR
STARTCHAR e
ENCODING 101
SWIDTH 600 0
DWIDTH 15 0
BBX 12 11 1 0
BITMAP
1f80
7fe0
70e0
e070
c030
fff0
fff0
e000
7070
7ff0
1fc0
ENDCHAR
STARTCHAR f
ENCODING 102
SWIDTH 600 0
DWIDTH 15 0
BBX 11 16 2 0
BITMAP
07e0
0fe0
1c00
1800
1800
ffc0
ffc0
1800
1800
1800
1800
1800
1800
1800
ffc0
ffc0
ENDCHAR
STARTCHAR g
ENCODING 103
SWIDTH 600 0
DWIDTH 15 0
BBX 13 16 1 -5
BITMAP
1f78
7ff8
71e0
e0e0
c060
c060
c060
e0e0
71e0
7fe0
1f60
0060
0060
00e0
3fc0
3f80
ENDCHAR
STARTCHAR h
ENCODING 104
SWIDTH 600 0
DWIDTH 15 0
BBX 14 16 0 0
BITMAP
f000
f000
3000
3000
3000
37c0
3fe0
3c70
3830
3030
3030
3030
3030
3030
fcfc
fcfc
ENDCHAR
STARTCHAR i
ENCODING 105
SWIDTH 600 0
DWIDTH 15 0
BBX 10 16 2 0
BITMAP
1c00
1c00
1c00
0000
0000
7c00
7c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
ffc0
ffc0
ENDCHAR
STARTCHAR j
ENCODING 106
SWIDTH 600 0
DWIDTH 15 0
BBX 8 21 2 -5
BITMAP
0e
0e
0e
00
00
ff
ff
03
03
03
03
03
03
03
03
03
03
03
07
fe
fc
ENDCHAR
STARTCHAR k
ENCODING 107
SWIDTH 600 0
DWIDTH 15 0
BBX 13 16 1 0
BITMAP
f000
f000
3000
3000
3000
31e0
31e0
3380
3700
3e00
3e00
3700
3380
31c0
f1f8
f1f8
ENDCHAR
STARTCHAR l
ENCODING 108
SWIDTH 600 0
DWIDTH 15 0
BBX 10 16 2 0
BITMAP
7c00
7c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
0c00
ffc0
ffc0
ENDCHAR
STARTCHAR m
ENCODING 109
SWIDTH 600 0
DWIDTH 15 0
BBX 16 11 0 0
BITMAP
ef78
fffc
39cc
318c
318c
318c
318c
318c
318c
f9ef
f9ef
ENDCHAR
STARTCHAR n
ENCODING 110
SWIDTH 600 0
DWIDTH 15 0
BBX 14 11 0 0
BITMAP
f3c0
f7e0
3c70
3830
3030
3030
3030
3030
3030
fcfc
fcfc
ENDCHAR
STARTCHAR o
ENCODING 111
SWIDTH 600 0
DWIDTH 15 0
BBX 12 11 1 0
BITMAP
1f80
7fe0
70e0
e070
c030
c030
c030
e070
70e0
7fe0
1f80
ENDCHAR
STARTCHAR p
ENCODING 112
SWIDTH 600 0
DWIDTH 15 0
BBX 13 16 0 -5
BITMAP
f7c0
fff0
3c70
3838
3018
3018
3018
3838
3c70
3ff0
37c0
3000
3000
3000
fe00
fe00
ENDCHAR
STARTCHAR q
ENCODING 113
SWIDTH 600 0
DWIDTH 15 0
BBX 13 16 1 -5
BITMAP
1f78
7ff8
71e0
e0e0
c060
c060
c060
e0e0
71e0
7fe0
1f60
0060
0060
0060
03f8
03f8
ENDCHAR
STARTCHAR r
ENCODING 114
SWIDTH 600 0
DWIDTH 15 0
BBX 12 11 1 0
BITMAP
79e0
7ff0
1e30
1c00
1800
1800
1800
1800
1800
ffc0
ffc0
ENDCHAR
STARTCHAR s
ENCODING 115
SWIDTH 600 0
DWIDTH 15 0
BBX 11 11 2 0
BITMAP
3ec0
7fc0
e1c0
e0c0
7c00
1f00
07c0
c0e0
e0e0
ffc0
df80
ENDCHAR
STARTCHAR t
ENCODING 116
SWIDTH 600 0
DWIDTH 15 0
BBX 11 15 1 0
BITMAP
3000
3000
3000
3000
ffc0
ffc0
3000
3000
3000
3000
3000
3000
38e0
1fe0
0f80
ENDCHAR
STARTCHAR u
ENCODING 117
SWIDTH 600 0
DWIDTH 15 0
BBX 14 11 0 0
BITMAP
f0f0
f0f0
3030
3030
3030
3030
3030
3030
3870
1ffc
0fbc
ENDCHAR
STARTCHAR v
ENCODING 118
SWIDTH 600 0
DWIDTH 15 0
BBX 14 11 0 0
BITMAP
fcfc
fcfc
3030
3030
1860
1860
0cc0
0cc0
0780
0780
0300
ENDCHAR
STARTCHAR w
ENCODING 119
SWIDTH 600 0
DWIDTH 15 0
BBX 14 11 0 0
BITMAP
f87c
f87c
6318
6318
3330
37b0
37b0
3cf0
1ce0
1860
1860
ENDCHAR
STARTCHAR x
ENCODING 120
SWIDTH 600 0
DWIDTH 15 0
BBX 12 11 1 0
BITMAP
f9f0
f9f0
30c0
1980
0f00
0600
0f00
1980
30c0
f9f0
f9f0
ENDCHAR
STARTCHAR y
ENCODING 121
SWIDTH 600 0
DWIDTH 15 0
BBX 14 16 0 -5
BITMAP
f87c
f87c
3030
3870
1860
1ce0
0cc0
0dc0
0780
0780
0300
0700
0600
0e00
7f00
7f00
ENDCHAR
STARTCHAR z
ENCODING 122
SWIDTH 600 0
DWIDTH 15 0
BBX 10 11 2 0
BITMAP
ffc0
ffc0
c380
c700
0e00
1c00
3800
70c0
e0c0
ffc0
ffc0
ENDCHAR
STARTCHAR braceleft
ENCODING 123
SWIDTH 600 0
DWIDTH 15 0
BBX 7 20 4 -4
BITMAP
0e
18
30
30
30
30
30
30
70
e0
70
30
30
30
30
30
30
30
18
0e
ENDCHAR
STARTCHAR bar
ENCODING 124
SWIDTH 600 0
DWIDTH 15 0
BBX 2 18 6 -2
BITMAP
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
ENDCHAR
STARTCHAR braceright
ENCODING 125
SWIDTH 600 0
DWIDTH 15 0
BBX 7 20 3 -4
BITMAP
e0
30
18
18
18
18
18
18
1c
0e
1c
18
18
18
18
18
18
18
30
e0
ENDCHAR
STARTCHAR asciitilde
ENCODING 126
SWIDTH 600 0
DWIDTH 15 0
BBX 12 4 1 5
BITMAP
3c30
7e70
e7e0
c3c0
ENDCHAR
STARTCHAR lless
ENCODING 145
SWIDTH 600 0
DWIDTH 15 0
BBX 8 16 4 -1
BITMAP
01
03
06
0c
19
33
66
cc
cc
66
33
19
0c
06
03
01
ENDCHAR
STARTCHAR unlhd
ENCODING 146
SWIDTH 600 0
DWIDTH 15 0
BBX 11 14 1 -2
BITMAP
0060
01e0
07e0
1e60
7860
e060
e060
7860
1e60
07e0
01e0
0060
0000
ffe0
ENDCHAR
STARTCHAR lhd
ENCODING 147
SWIDTH 600 0
DWIDTH 15 0
BBX 11 12 1 0
BITMAP
0060
01e0
07e0
1e60
7860
e060
e060
7860
1e60
07e0
01e0
0060
ENDCHAR
STARTCHAR rhd
ENCODING 148
SWIDTH 600 0
DWIDTH 15 0
BBX 11 12 1 0
BITMAP
c000
f000
bc00
8f00
83c0
80e0
80e0
83c0
8f00
bc00
f000
c000
ENDCHAR
STARTCHAR tturnstile
ENCODING 149
SWIDTH 600 0
DWIDTH 15 0
BBX 11 14 1 0
BITMAP
d800
d800
d800
d800
d800
d800
ffe0
ffe0
d800
d800
d800
d800
d800
d800
ENDCHAR
STARTCHAR langle
ENCODING 150
SWIDTH 600 0
DWIDTH 15 0
BBX 5 20 4 -4
BITMAP
18
18
30
30
30
60
60
60
c0
c0
c0
60
60
60
30
30
30
18
18
18
ENDCHAR
STARTCHAR rangle
ENCODING 151
SWIDTH 600 0
DWIDTH 15 0
BBX 5 20 3 -4
BITMAP
c0
c0
60
60
60
30
30
30
18
18
18
30
30
30
60
60
60
c0
c0
c0
ENDCHAR
STARTCHAR choice
ENCODING 152
SWIDTH 600 0
DWIDTH 15 0
BBX 6 15 4 -1
BITMAP
fc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
fc
ENDCHAR
STARTCHAR top
ENCODING 153
SWIDTH 600 0
DWIDTH 15 0
BBX 12 10 1 2
BITMAP
fff0
fff0
0600
0600
0600
0600
0600
0600
0600
0600
ENDCHAR
STARTCHAR Or
ENCODING 154
SWIDTH 600 0
DWIDTH 15 0
BBX 12 15 1 -1
BITMAP
c030
4020
6060
6060
2040
30c0
30c0
1080
1980
1980
0900
0f00
0f00
0600
0600
ENDCHAR
STARTCHAR ocdot
ENCODING 155
SWIDTH 600 0
DWIDTH 15 0
BBX 14 14 1 0
BITMAP
0780
1fe0
3030
6018
4008
c00c
c30c
c30c
c00c
4008
6018
3030
1fe0
0780
ENDCHAR
STARTCHAR iota
ENCODING 156
SWIDTH 600 0
DWIDTH 15 0
BBX 3 8 1 0
BITMAP
e0
60
60
60
c0
c0
c0
e0
ENDCHAR
STARTCHAR upsilon
ENCODING 157
SWIDTH 600 0
DWIDTH 15 0
BBX 9 8 1 0
BITMAP
6300
f180
3180
3180
6100
6300
6200
3c00
ENDCHAR
STARTCHAR Upsilon
ENCODING 158
SWIDTH 600 0
DWIDTH 15 0
BBX 10 15 1 0
BITMAP
e0c0
3100
1a00
0e00
0600
0600
0600
0600
0600
0600
0600
0600
0600
0600
0f00
ENDCHAR
STARTCHAR Xi
ENCODING 159
SWIDTH 600 0
DWIDTH 15 0
BBX 12 15 1 0
BITMAP
fff0
fff0
c030
0000
0000
1080
1f80
1f80
1080
0000
0000
0000
c030
fff0
fff0
ENDCHAR
STARTCHAR spacespace
ENCODING 160
SWIDTH 600 0
DWIDTH 15 0
BBX 10 1 1 0
BITMAP
f3c0
ENDCHAR
STARTCHAR Gamma
ENCODING 161
SWIDTH 600 0
DWIDTH 15 0
BBX 10 15 1 0
BITMAP
ffc0
6040
6000
6000
6000
6000
6000
6000
6000
6000
6000
6000
6000
6000
f800
ENDCHAR
STARTCHAR Delta
ENCODING 162
SWIDTH 600 0
DWIDTH 15 0
BBX 12 15 1 0
BITMAP
0600
0600
0e00
0f00
1f00
1b00
1380
3180
3180
21c0
60c0
60c0
c0e0
c060
fff0
ENDCHAR
STARTCHAR Theta
ENCODING 163
SWIDTH 600 0
DWIDTH 15 0
BBX 12 15 1 0
BITMAP
1f80
3fc0
6060
c030
c030
d0b0
dfb0
dfb0
d0b0
c030
c030
c030
6060
3fc0
1f80
ENDCHAR
STARTCHAR Lambda
ENCODING 164
SWIDTH 600 0
DWIDTH 15 0
BBX 12 15 1 0
BITMAP
0600
0600
0e00
0f00
1f00
1b00
1380
3180
3180
21c0
60c0
60c0
c0e0
c060
e0f0
ENDCHAR
STARTCHAR Pi
ENCODING 165
SWIDTH 600 0
DWIDTH 15 0
BBX 13 15 1 0
BITMAP
fff8
3060
3060
3060
3060
3060
3060
3060
3060
3060
3060
3060
3060
3060
78f0
ENDCHAR
STARTCHAR Sigma
ENCODING 166
SWIDTH 600 0
DWIDTH 15 0
BBX 13 15 1 0
BITMAP
fff8
e008
7000
3800
1c00
0e00
0700
0300
0600
0c00
1800
3000
6008
fff0
ffe0
ENDCHAR
STARTCHAR Phi
ENCODING 167
SWIDTH 600 0
DWIDTH 15 0
BBX 12 14 1 0
BITMAP
0f00
0600
0600
1f80
76e0
6660
c630
8610
c630
6660
76e0
1f80
0600
0f00
ENDCHAR
STARTCHAR Psi
ENCODING 168
SWIDTH 600 0
DWIDTH 15 0
BBX 12 14 1 0
BITMAP
0f00
0600
0600
c630
6660
6660
6660
6660
6660
36c0
1f80
0f00
0600
0f00
ENDCHAR
STARTCHAR Omega
ENCODING 169
SWIDTH 600 0
DWIDTH 15 0
BBX 12 14 1 0
BITMAP
0f00
3fc0
70e0
6060
c030
c030
c030
c030
6060
6060
30c0
1980
f9f0
f9f0
ENDCHAR
STARTCHAR alpha
ENCODING 170
SWIDTH 600 0
DWIDTH 15 0
BBX 13 10 1 0
BITMAP
1f18
3f98
71b0
61f0
e0e0
c0c0
c0e0
c1f0
7fb8
3e18
ENDCHAR
STARTCHAR beta
ENCODING 171
SWIDTH 600 0
DWIDTH 15 0
BBX 11 16 1 -3
BITMAP
0780
0fc0
0ce0
1860
1860
30c0
33c0
33c0
30e0
6060
6060
60e0
67c0
c700
c000
c000
ENDCHAR
STARTCHAR gamma
ENCODING 172
SWIDTH 600 0
DWIDTH 15 0
BBX 10 13 1 -3
BITMAP
6000
f0c0
9bc0
0f00
0e00
1c00
1e00
3600
3600
6600
6600
3c00
1800
ENDCHAR
STARTCHAR delta
ENCODING 173
SWIDTH 600 0
DWIDTH 15 0
BBX 10 14 2 0
BITMAP
1e00
3100
3000
3000
1c00
0f00
3f80
71c0
60c0
c0c0
c180
e380
7f00
3c00
ENDCHAR
STARTCHAR epsilon
ENCODING 174
SWIDTH 600 0
DWIDTH 15 0
BBX 7 12 1 0
BITMAP
1c
3e
72
60
38
38
60
c0
c0
e6
7e
3c
ENDCHAR
STARTCHAR zeta
ENCODING 175
SWIDTH 600 0
DWIDTH 15 0
BBX 8 16 1 -3
BITMAP
08
0c
1f
30
60
60
c0
c0
c0
c0
c0
60
3c
0e
06
06
ENDCHAR
STARTCHAR eta
ENCODING 176
SWIDTH 600 0
DWIDTH 15 0
BBX 9 12 1 -4
BITMAP
6600
ef00
b980
3180
3180
6300
6300
6300
0600
0600
0600
0600
ENDCHAR
STARTCHAR theta
ENCODING 177
SWIDTH 600 0
DWIDTH 15 0
BBX 10 12 1 0
BITMAP
0780
0cc0
0cc0
0cc0
0780
6180
b300
3300
3300
6600
6600
3c00
ENDCHAR
STARTCHAR kappa
ENCODING 178
SWIDTH 600 0
DWIDTH 15 0
BBX 9 8 1 0
BITMAP
c780
6c00
3800
3800
3c00
3400
6680
c300
ENDCHAR
STARTCHAR lambda
ENCODING 179
SWIDTH 600 0
DWIDTH 15 0
BBX 9 13 1 0
BITMAP
6000
3000
1800
1800
0c00
0c00
1c00
1600
3600
2600
6300
4300
c180
ENDCHAR
STARTCHAR mu
ENCODING 180
SWIDTH 600 0
DWIDTH 15 0
BBX 9 12 1 -4
BITMAP
3180
3180
3180
3180
6300
6300
7f80
7f80
c000
c000
c000
c000
ENDCHAR
STARTCHAR nu
ENCODING 181
SWIDTH 600 0
DWIDTH 15 0
BBX 8 8 1 0
BITMAP
63
b3
33
33
66
66
7c
78
ENDCHAR
STARTCHAR xi
ENCODING 182
SWIDTH 600 0
DWIDTH 15 0
BBX 7 15 1 -2
BITMAP
1e
30
60
60
60
3e
30
60
c0
c0
c0
7c
06
06
0c
ENDCHAR
STARTCHAR pi
ENCODING 183
SWIDTH 600 0
DWIDTH 15 0
BBX 11 9 1 0
BITMAP
3c20
ffe0
9bc0
1980
1980
3180
3180
3180
3180
ENDCHAR
STARTCHAR rho
ENCODING 184
SWIDTH 600 0
DWIDTH 15 0
BBX 8 12 1 -4
BITMAP
0c
1e
33
63
63
66
3c
38
30
30
60
c0
ENDCHAR
STARTCHAR sigma
ENCODING 185
SWIDTH 600 0
DWIDTH 15 0
BBX 9 7 1 0
BITMAP
1f80
3e00
6600
c600
c600
cc00
7800
ENDCHAR
STARTCHAR tau
ENCODING 186
SWIDTH 600 0
DWIDTH 15 0
BBX 9 9 1 0
BITMAP
7f80
ff00
9800
1800
1800
3000
3000
3200
1c00
ENDCHAR
STARTCHAR phi
ENCODING 187
SWIDTH 600 0
DWIDTH 15 0
BBX 10 12 1 -4
BITMAP
0700
4f80
9cc0
98c0
98c0
d8c0
7f80
1f00
0c00
0c00
0c00
0c00
ENDCHAR
STARTCHAR chi
ENCODING 188
SWIDTH 600 0
DWIDTH 15 0
BBX 10 12 1 -4
BITMAP
60c0
3180
3180
1b00
1b00
1e00
0c00
1c00
3c00
6600
6600
c300
ENDCHAR
STARTCHAR psi
ENCODING 189
SWIDTH 600 0
DWIDTH 15 0
BBX 11 13 1 -3
BITMAP
0600
0600
2640
e660
6660
6660
6660
66c0
36c0
1f00
0600
0600
0600
ENDCHAR
STARTCHAR omega
ENCODING 190
SWIDTH 600 0
DWIDTH 15 0
BBX 12 7 1 0
BITMAP
6060
c630
c630
c630
c630
6660
1f80
ENDCHAR
STARTCHAR not
ENCODING 191
SWIDTH 666 0
DWIDTH 15 0
BBX 8 6 2 1
BITMAP
ff
ff
03
03
03
03
ENDCHAR
STARTCHAR and
ENCODING 192
SWIDTH 600 0
DWIDTH 15 0
BBX 10 9 2 0
BITMAP
0c00
1e00
1e00
3300
3300
6180
6180
c0c0
c0c0
ENDCHAR
STARTCHAR or
ENCODING 193
SWIDTH 600 0
DWIDTH 15 0
BBX 10 9 2 0
BITMAP
c0c0
c0c0
6180
6180
3300
3300
1e00
1e00
0c00
ENDCHAR
STARTCHAR forall
ENCODING 194
SWIDTH 600 0
DWIDTH 15 0
BBX 10 14 1 0
BITMAP
8040
c0c0
c0c0
4080
7f80
7f80
2100
3300
3300
1200
1e00
1e00
0c00
0c00
ENDCHAR
STARTCHAR exists
ENCODING 195
SWIDTH 600 0
DWIDTH 15 0
BBX 9 14 1 0
BITMAP
ff80
ff80
0180
0180
0180
0180
ff80
ff80
0180
0180
0180
0180
ff80
ff80
ENDCHAR
STARTCHAR And
ENCODING 196
SWIDTH 600 0
DWIDTH 15 0
BBX 12 15 1 -1
BITMAP
0600
0600
0f00
0f00
0900
1980
1980
1080
30c0
30c0
2040
6060
6060
4020
c030
ENDCHAR
STARTCHAR lceil
ENCODING 197
SWIDTH 600 0
DWIDTH 15 0
BBX 8 15 1 -1
BITMAP
ff
ff
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
ENDCHAR
STARTCHAR rceil
ENCODING 198
SWIDTH 600 0
DWIDTH 15 0
BBX 8 15 1 -1
BITMAP
ff
ff
03
03
03
03
03
03
03
03
03
03
03
03
03
ENDCHAR
STARTCHAR lfloor
ENCODING 199
SWIDTH 600 0
DWIDTH 15 0
BBX 8 15 1 -1
BITMAP
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
c0
ff
ff
ENDCHAR
STARTCHAR rfloor
ENCODING 200
SWIDTH 600 0
DWIDTH 15 0
BBX 8 15 1 -1
BITMAP
03
03
03
03
03
03
03
03
03
03
03
03
03
ff
ff
ENDCHAR
STARTCHAR turnstile
ENCODING 201
SWIDTH 600 0
DWIDTH 15 0
BBX 11 14 1 0
BITMAP
c000
c000
c000
c000
c000
c000
ffe0
ffe0
c000
c000
c000
c000
c000
c000
ENDCHAR
STARTCHAR Turnstile
ENCODING 202
SWIDTH 600 0
DWIDTH 15 0
BBX 11 14 1 0
BITMAP
c000
c000
c000
c000
ffe0
ffe0
c000
c000
ffe0
ffe0
c000
c000
c000
c000
ENDCHAR
STARTCHAR lbrakk
ENCODING 203
SWIDTH 600 0
DWIDTH 15 0
BBX 8 14 1 0
BITMAP
ff
ff
d8
d8
d8
d8
d8
d8
d8
d8
d8
d8
ff
ff
ENDCHAR
STARTCHAR rbrakk
ENCODING 204
SWIDTH 600 0
DWIDTH 15 0
BBX 8 14 1 0
BITMAP
ff
ff
1b
1b
1b
1b
1b
1b
1b
1b
1b
1b
ff
ff
ENDCHAR
STARTCHAR cdot
ENCODING 205
SWIDTH 600 0
DWIDTH 15 0
BBX 3 3 1 4
BITMAP
e0
e0
e0
ENDCHAR
STARTCHAR in
ENCODING 206
SWIDTH 600 0
DWIDTH 15 0
BBX 9 12 1 0
BITMAP
1f80
3f80
6000
6000
c000
ff00
ff00
c000
6000
6000
3f80
1f80
ENDCHAR
STARTCHAR subseteq
ENCODING 207
SWIDTH 600 0
DWIDTH 15 0
BBX 11 11 1 0
BITMAP
1fe0
7fe0
e000
c000
c000
e000
7fe0
1fe0
0000
7fe0
7fe0
ENDCHAR
STARTCHAR inter
ENCODING 208
SWIDTH 600 0
DWIDTH 15 0
BBX 10 11 1 1
BITMAP
1e00
7f80
e1c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
ENDCHAR
STARTCHAR union
ENCODING 209
SWIDTH 600 0
DWIDTH 15 0
BBX 10 11 1 0
BITMAP
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
e1c0
7f80
1e00
ENDCHAR
STARTCHAR Inter
ENCODING 210
SWIDTH 600 0
DWIDTH 15 0
BBX 10 15 1 -1
BITMAP
1e00
7f80
e1c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
ENDCHAR
STARTCHAR Union
ENCODING 211
SWIDTH 600 0
DWIDTH 15 0
BBX 10 15 1 -1
BITMAP
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
e1c0
7f80
1e00
ENDCHAR
STARTCHAR sqinter
ENCODING 212
SWIDTH 600 0
DWIDTH 15 0
BBX 10 11 1 1
BITMAP
ffc0
ffc0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
ENDCHAR
STARTCHAR squnion
ENCODING 213
SWIDTH 600 0
DWIDTH 15 0
BBX 10 11 1 0
BITMAP
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
ffc0
ffc0
ENDCHAR
STARTCHAR Sqinter
ENCODING 214
SWIDTH 600 0
DWIDTH 15 0
BBX 10 15 1 -1
BITMAP
ffc0
ffc0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
ENDCHAR
STARTCHAR Squnion
ENCODING 215
SWIDTH 600 0
DWIDTH 15 0
BBX 10 15 1 -1
BITMAP
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
c0c0
ffc0
ffc0
ENDCHAR
STARTCHAR bottom
ENCODING 216
SWIDTH 600 0
DWIDTH 15 0
BBX 12 10 1 0
BITMAP
0600
0600
0600
0600
0600
0600
0600
0600
fff0
fff0
ENDCHAR
STARTCHAR doteq
ENCODING 217
SWIDTH 600 0
DWIDTH 15 0
BBX 12 9 1 3
BITMAP
0600
0600
0000
fff0
fff0
0000
0000
fff0
fff0
ENDCHAR
STARTCHAR equiv
ENCODING 218
SWIDTH 600 0
DWIDTH 15 0
BBX 9 8 1 2
BITMAP
ff80
ff80
0000
ff80
ff80
0000
ff80
ff80
ENDCHAR
STARTCHAR noteq
ENCODING 219
SWIDTH 600 0
DWIDTH 15 0
BBX 10 12 1 0
BITMAP
0600
0600
0600
ffc0
ffc0
0c00
0c00
ffc0
ffc0
1800
1800
1800
ENDCHAR
STARTCHAR sqsubset
ENCODING 220
SWIDTH 600 0
DWIDTH 15 0
BBX 11 8 1 3
BITMAP
ffe0
ffe0
c000
c000
c000
c000
ffe0
ffe0
ENDCHAR
STARTCHAR sqsubseteq
ENCODING 221
SWIDTH 600 0
DWIDTH 15 0
BBX 11 11 1 1
BITMAP
ffe0
ffe0
c000
c000
c000
c000
ffe0
ffe0
0000
ffe0
ffe0
ENDCHAR
STARTCHAR prec
ENCODING 222
SWIDTH 600 0
DWIDTH 15 0
BBX 10 12 1 0
BITMAP
0040
00c0
0180
0300
0e00
f800
f800
0e00
0300
0180
00c0
0040
ENDCHAR
STARTCHAR preceq
ENCODING 223
SWIDTH 600 0
DWIDTH 15 0
BBX 10 14 1 -2
BITMAP
0040
00c0
0180
0300
0e00
f800
f800
0e00
0300
0180
00c0
0000
ffc0
ffc0
ENDCHAR
STARTCHAR succ
ENCODING 224
SWIDTH 600 0
DWIDTH 15 0
BBX 10 12 1 0
BITMAP
8000
c000
6000
3000
1c00
07c0
07c0
1c00
3000
6000
c000
8000
ENDCHAR
STARTCHAR approx
ENCODING 225
SWIDTH 600 0
DWIDTH 15 0
BBX 12 8 1 3
BITMAP
3800
fe30
c7f0
01c0
3800
fe30
c7f0
01c0
ENDCHAR
STARTCHAR sim
ENCODING 226
SWIDTH 600 0
DWIDTH 15 0
BBX 12 4 1 5
BITMAP
3800
fe30
c7f0
01c0
ENDCHAR
STARTCHAR simeq
ENCODING 227
SWIDTH 600 0
DWIDTH 15 0
BBX 12 7 1 4
BITMAP
3800
fe30
c7f0
01c0
0000
fff0
fff0
ENDCHAR
STARTCHAR le
ENCODING 228
SWIDTH 600 0
DWIDTH 15 0
BBX 9 12 1 0
BITMAP
0180
0700
1c00
7000
c000
7000
1c00
0700
0180
0000
ff80
ff80
ENDCHAR
STARTCHAR ccolon
ENCODING 229
SWIDTH 600 0
DWIDTH 15 0
BBX 7 10 3 1
BITMAP
c6
c6
00
00
00
00
00
00
c6
c6
ENDCHAR
STARTCHAR leftarrow
ENCODING 230
SWIDTH 666 0
DWIDTH 15 0
BBX 13 10 4 2
BITMAP
0c00
1c00
3800
7000
fff8
fff8
7000
3800
1c00
0c00
ENDCHAR
STARTCHAR midarrow
ENCODING 231
SWIDTH 600 0
DWIDTH 15 0
BBX 16 2 1 6
BITMAP
ffff
ffff
ENDCHAR
STARTCHAR rightarrow
ENCODING 232
SWIDTH 666 0
DWIDTH 15 0
BBX 13 10 1 2
BITMAP
0180
01c0
00e0
0070
fff8
fff8
0070
00e0
01c0
0180
ENDCHAR
STARTCHAR Leftarrow
ENCODING 233
SWIDTH 666 0
DWIDTH 15 0
BBX 13 14 4 0
BITMAP
0300
0700
0e00
1c00
3ff8
7ff8
e000
e000
7ff8
3ff8
1c00
0e00
0700
0300
ENDCHAR
STARTCHAR Midarrow
ENCODING 234
SWIDTH 600 0
DWIDTH 15 0
BBX 16 6 1 4
BITMAP
ffff
ffff
0000
0000
ffff
ffff
ENDCHAR
STARTCHAR Rightarrow
ENCODING 235
SWIDTH 666 0
DWIDTH 15 0
BBX 13 14 1 0
BITMAP
0600
0700
0380
01c0
ffe0
fff0
0038
0038
fff0
ffe0
01c0
0380
0700
0600
ENDCHAR
STARTCHAR bow
ENCODING 236
SWIDTH 600 0
DWIDTH 15 0
BBX 11 4 1 7
BITMAP
3f80
7fc0
e0e0
c060
ENDCHAR
STARTCHAR mapsto
ENCODING 237
SWIDTH 600 0
DWIDTH 15 0
BBX 13 10 1 2
BITMAP
0180
c1c0
c0e0
c070
fff8
fff8
c070
c0e0
c1c0
0180
ENDCHAR
STARTCHAR leadsto
ENCODING 238
SWIDTH 600 0
DWIDTH 15 0
BBX 14 10 1 2
BITMAP
00c0
00e0
0070
3c38
7efc
e7fc
c3b8
0070
00e0
00c0
ENDCHAR
STARTCHAR up
ENCODING 239
SWIDTH 600 0
DWIDTH 15 0
BBX 10 13 1 0
BITMAP
0c00
1e00
3f00
7f80
edc0
ccc0
0c00
0c00
0c00
0c00
0c00
0c00
0c00
ENDCHAR
STARTCHAR down
ENCODING 240
SWIDTH 600 0
DWIDTH 15 0
BBX 10 13 1 0
BITMAP
0c00
0c00
0c00
0c00
0c00
0c00
0c00
ccc0
edc0
7f80
3f00
1e00
0c00
ENDCHAR
STARTCHAR notin
ENCODING 241
SWIDTH 600 0
DWIDTH 15 0
BBX 9 14 1 -1
BITMAP
0180
1f80
3f80
6300
6600
c600
ff00
ff00
d800
7800
7000
3f80
7f80
6000
ENDCHAR
STARTCHAR times
ENCODING 242
SWIDTH 600 0
DWIDTH 15 0
BBX 12 11 1 0
BITMAP
c030
6060
30c0
1980
0f00
0600
0f00
1980
30c0
6060
c030
ENDCHAR
STARTCHAR oplus
ENCODING 243
SWIDTH 600 0
DWIDTH 15 0
BBX 14 14 1 0
BITMAP
0780
1fe0
3030
6318
4308
c30c
dfec
dfec
c30c
4308
6318
3030
1fe0
0780
ENDCHAR
STARTCHAR ominus
ENCODING 244
SWIDTH 600 0
DWIDTH 15 0
BBX 14 14 1 0
BITMAP
0780
1fe0
3030
6018
4008
c00c
dfec
dfec
c00c
4008
6018
3030
1fe0
0780
ENDCHAR
STARTCHAR otimes
ENCODING 245
SWIDTH 600 0
DWIDTH 15 0
BBX 14 14 1 0
BITMAP
0780
1fe0
3030
7878
5ce8
cfcc
c78c
c78c
cfcc
5ce8
7878
3030
1fe0
0780
ENDCHAR
STARTCHAR oslash
ENCODING 246
SWIDTH 600 0
DWIDTH 15 0
BBX 14 14 1 0
BITMAP
0780
1fe0
3030
6078
40e8
c1cc
c38c
c70c
ce0c
5c08
7818
3030
1fe0
0780
ENDCHAR
STARTCHAR subset
ENCODING 247
SWIDTH 600 0
DWIDTH 15 0
BBX 11 8 1 3
BITMAP
1fe0
7fe0
e000
c000
c000
e000
7fe0
1fe0
ENDCHAR
STARTCHAR infinity
ENCODING 248
SWIDTH 600 0
DWIDTH 15 0
BBX 14 8 0 2
BITMAP
3870
7cf8
e7dc
c38c
c70c
ef9c
7cf8
3870
ENDCHAR
STARTCHAR box
ENCODING 249
SWIDTH 600 0
DWIDTH 15 0
BBX 12 12 1 0
BITMAP
fff0
fff0
c030
c030
c030
c030
c030
c030
c030
c030
fff0
fff0
ENDCHAR
STARTCHAR diamond
ENCODING 250
SWIDTH 600 0
DWIDTH 15 0
BBX 13 13 1 0
BITMAP
0200
0700
0d80
18c0
3060
6030
c018
6030
3060
18c0
0d80
0700
0200
ENDCHAR
STARTCHAR circ
ENCODING 251
SWIDTH 600 0
DWIDTH 15 0
BBX 8 8 1 2
BITMAP
3c
7e
e7
c3
c3
e7
7e
3c
ENDCHAR
STARTCHAR bullet
ENCODING 252
SWIDTH 600 0
DWIDTH 15 0
BBX 8 8 1 2
BITMAP
3c
7e
ff
ff
ff
ff
7e
3c
ENDCHAR
STARTCHAR parallel
ENCODING 253
SWIDTH 600 0
DWIDTH 15 0
BBX 6 15 4 -1
BITMAP
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
ENDCHAR
STARTCHAR surd
ENCODING 254
SWIDTH 600 0
DWIDTH 15 0
BBX 12 11 1 1
BITMAP
0070
0070
00c0
00c0
0180
e180
f300
3300
1e00
1e00
0c00
ENDCHAR
STARTCHAR copyright
ENCODING 255
SWIDTH 600 0
DWIDTH 15 0
BBX 14 14 1 0
BITMAP
0780
1fe0
3030
6798
4cc8
d80c
d00c
d00c
d80c
4cc8
6798
3030
1fe0
0780
ENDCHAR
ENDFONT