Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
obsolete;
authorwenzelm
Thu, 13 Oct 2005 11:58:22 +0200
changeset 17844 d81057c38987
parent 17843 0a451f041853
child 17845 1438291d57f0
obsolete;
lib/fonts/fonts.alias file | annotate | diff | comparison | revisions
lib/fonts/fonts.dir file | annotate | diff | comparison | revisions
lib/fonts/isabelle14.bdf file | annotate | diff | comparison | revisions
lib/fonts/isabelle24.bdf file | annotate | diff | comparison | revisions 
--- a/lib/fonts/fonts.alias	Wed Oct 12 18:17:48 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-FILE_NAMES_ALIASES
--- a/lib/fonts/fonts.dir	Wed Oct 12 18:17:48 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,3 +0,0 @@
-2
-isabelle14.bdf -isabelle-fixed-medium-r-normal--14-140-75-75-m-90-isabelle-0
-isabelle24.bdf -isabelle-fixed-bold-r-normal--24-240-75-75-m-150-isabelle-0
--- a/lib/fonts/isabelle14.bdf	Wed Oct 12 18:17:48 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,3189 +0,0 @@
-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 spacespace
-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
--- a/lib/fonts/isabelle24.bdf	Wed Oct 12 18:17:48 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4117 +0,0 @@
-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
isabelle