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.
renamed;
authorwenzelm
Fri, 07 Mar 1997 16:44:28 +0100
changeset 2778 40219658ce64
parent 2777 3396eb1fa01d
child 2779 9c42ae57b5f4
renamed;
lib/fonts/isacb24.bdf file | annotate | diff | comparison | revisions
lib/fonts/isacr14.bdf file | annotate | diff | comparison | revisions 
--- a/lib/fonts/isacb24.bdf	Fri Mar 07 16:44:14 1997 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,3929 +0,0 @@
-STARTFONT 2.1
-FONT -isabelle-courier-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 "Courier"
-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 "Courier Bold"
-COPYRIGHT "Copyright (c)1985,1987 Adobe Systems, Inc., Portions Copyright 1988"
-FONT_ASCENT 17
-FONT_DESCENT 5
-CAP_HEIGHT 15
-X_HEIGHT 11
-ENDPROPERTIES
-CHARS 205
-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 space
-ENCODING 128
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 129
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 130
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 131
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 132
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 133
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 134
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 135
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 136
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 137
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 138
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 139
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 140
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 141
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR space
-ENCODING 160
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR Gamma
-ENCODING 161
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 10 14 1 0
-BITMAP
-ffc0
-ffc0
-60c0
-60c0
-60c0
-6000
-6000
-6000
-6000
-6000
-6000
-6000
-f000
-f000
-ENDCHAR
-STARTCHAR Delta
-ENCODING 162
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 13 12 1 0
-BITMAP
-0200
-0700
-0700
-0d80
-0d80
-18c0
-18c0
-3060
-3060
-6030
-fff8
-fff8
-ENDCHAR
-STARTCHAR Theta
-ENCODING 163
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 9 14 1 0
-BITMAP
-3e00
-7f00
-6300
-c180
-c180
-c180
-ff80
-ff80
-c180
-c180
-c180
-6300
-7f00
-3e00
-ENDCHAR
-STARTCHAR Lambda
-ENCODING 164
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 11 13 1 0
-BITMAP
-0400
-0400
-0e00
-0e00
-1b00
-1b00
-1100
-3180
-3180
-2080
-60c0
-60c0
-f1e0
-ENDCHAR
-STARTCHAR C167
-ENCODING 165
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 13 14 1 0
-BITMAP
-fff8
-fff8
-18c0
-18c0
-18c0
-18c0
-18c0
-18c0
-18c0
-18c0
-18c0
-18c0
-18c0
-18c0
-ENDCHAR
-STARTCHAR C167
-ENCODING 166
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 13 14 1 0
-BITMAP
-fff8
-fff8
-6018
-3000
-1800
-0c00
-0600
-0600
-0c00
-1800
-3000
-6018
-fff8
-fff8
-ENDCHAR
-STARTCHAR C167
-ENCODING 167
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 12 14 1 0
-BITMAP
-0f00
-0600
-0600
-1f80
-6660
-4620
-8610
-8610
-8610
-4620
-6660
-1f80
-0600
-0f00
-ENDCHAR
-STARTCHAR C167
-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 C167
-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 a
-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 C177
-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 C177
-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 C170
-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 C177
-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 C177
-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 C177
-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 C177
-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 C177
-ENCODING 178
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 9 8 1 0
-BITMAP
-c780
-6c00
-3800
-3800
-3c00
-3400
-6680
-c300
-ENDCHAR
-STARTCHAR C177
-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 C177
-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 C177
-ENCODING 181
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 8 8 1 0
-BITMAP
-63
-b3
-33
-33
-66
-66
-7c
-78
-ENDCHAR
-STARTCHAR C167
-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 C177
-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 C177
-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 C167
-ENCODING 185
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 9 7 1 0
-BITMAP
-1f80
-3e00
-6600
-c600
-c600
-cc00
-7800
-ENDCHAR
-STARTCHAR C167
-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 C177
-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 C177
-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 C167
-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 C167
-ENCODING 190
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 12 7 1 0
-BITMAP
-6060
-c630
-c630
-c630
-c630
-6660
-1f80
-ENDCHAR
-STARTCHAR C160
-ENCODING 191
-SWIDTH 666 0
-DWIDTH 15 0
-BBX 8 6 2 1
-BITMAP
-ff
-ff
-03
-03
-03
-03
-ENDCHAR
-STARTCHAR C161
-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 C161
-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 C166
-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 C167
-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 C166
-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 C197
-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 C197
-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 C197
-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 C197
-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 C201
-ENCODING 201
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 7 15 1 -1
-BITMAP
-06
-0e
-1e
-36
-66
-c6
-c6
-c6
-c6
-c6
-66
-36
-1e
-0e
-06
-ENDCHAR
-STARTCHAR C201
-ENCODING 202
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 7 15 1 -1
-BITMAP
-c0
-e0
-f0
-d8
-cc
-c6
-c6
-c6
-c6
-c6
-cc
-d8
-f0
-e0
-c0
-ENDCHAR
-STARTCHAR C203
-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 C204
-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 o
-ENCODING 205
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 11 11 1 0
-BITMAP
-1f60
-7fe0
-71c0
-e3e0
-c760
-ce60
-dc60
-f8e0
-71c0
-ffc0
-df00
-ENDCHAR
-STARTCHAR C177
-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 C161
-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 C161
-ENCODING 208
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 10 12 1 0
-BITMAP
-1e00
-7f80
-e1c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-ENDCHAR
-STARTCHAR C161
-ENCODING 209
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 10 12 1 0
-BITMAP
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-e1c0
-7f80
-1e00
-ENDCHAR
-STARTCHAR C197
-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 C197
-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 C161
-ENCODING 212
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 10 12 1 0
-BITMAP
-ffc0
-ffc0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-ENDCHAR
-STARTCHAR C161
-ENCODING 213
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 10 12 1 0
-BITMAP
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-c0c0
-ffc0
-ffc0
-ENDCHAR
-STARTCHAR C197
-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 C197
-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 C161
-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 C161
-ENCODING 217
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 12 9 1 4
-BITMAP
-0600
-0600
-0000
-fff0
-fff0
-0000
-0000
-fff0
-fff0
-ENDCHAR
-STARTCHAR C177
-ENCODING 218
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 9 8 1 1
-BITMAP
-ff80
-ff80
-0000
-ff80
-ff80
-0000
-ff80
-ff80
-ENDCHAR
-STARTCHAR C161
-ENCODING 219
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 10 10 1 2
-BITMAP
-0300
-0600
-ffc0
-ffc0
-0c00
-1800
-ffc0
-ffc0
-3000
-6000
-ENDCHAR
-STARTCHAR C161
-ENCODING 220
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 11 8 1 3
-BITMAP
-ffe0
-ffe0
-c000
-c000
-c000
-c000
-ffe0
-ffe0
-ENDCHAR
-STARTCHAR C161
-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 C177
-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 C177
-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 C177
-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 C177
-ENCODING 225
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 10 14 1 -2
-BITMAP
-8000
-c000
-6000
-3000
-1c00
-07c0
-07c0
-1c00
-3000
-6000
-c000
-0000
-ffc0
-ffc0
-ENDCHAR
-STARTCHAR C161
-ENCODING 226
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 12 4 1 5
-BITMAP
-3800
-fe30
-c7f0
-01c0
-ENDCHAR
-STARTCHAR C161
-ENCODING 227
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 12 7 1 4
-BITMAP
-3800
-fe30
-c7f0
-01c0
-0000
-fff0
-fff0
-ENDCHAR
-STARTCHAR C177
-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 C177
-ENCODING 229
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 9 12 1 0
-BITMAP
-c000
-7000
-1c00
-0700
-0180
-0700
-1c00
-7000
-c000
-0000
-ff80
-ff80
-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 hline
-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 doublehline
-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 C161
-ENCODING 236
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 13 8 1 3
-BITMAP
-06c0
-0360
-01b0
-fff8
-fff8
-01b0
-0360
-06c0
-ENDCHAR
-STARTCHAR C161
-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 C161
-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 C167
-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 C167
-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 C161
-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 C175
-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 plus
-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 plus
-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 plus
-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 plus
-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 C161
-ENCODING 247
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 11 8 1 3
-BITMAP
-1fe0
-7fe0
-e000
-c000
-c000
-e000
-7fe0
-1fe0
-ENDCHAR
-STARTCHAR C161
-ENCODING 248
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 14 8 0 2
-BITMAP
-3870
-7cf8
-efdc
-c78c
-c78c
-efdc
-7cf8
-3870
-ENDCHAR
-STARTCHAR C161
-ENCODING 249
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 9 9 1 2
-BITMAP
-ff80
-ff80
-c180
-c180
-c180
-c180
-c180
-ff80
-ff80
-ENDCHAR
-STARTCHAR C161
-ENCODING 250
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 10 10 1 1
-BITMAP
-0c00
-1e00
-3f00
-7380
-e1c0
-e1c0
-7380
-3f00
-1e00
-0c00
-ENDCHAR
-STARTCHAR C161
-ENCODING 251
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 10 10 1 1
-BITMAP
-1e00
-7f80
-6180
-c0c0
-c0c0
-c0c0
-c0c0
-6180
-7f80
-1e00
-ENDCHAR
-STARTCHAR C161
-ENCODING 252
-SWIDTH 600 0
-DWIDTH 15 0
-BBX 10 10 1 1
-BITMAP
-1e00
-7f80
-7f80
-ffc0
-ffc0
-ffc0
-ffc0
-7f80
-7f80
-1e00
-ENDCHAR
-STARTCHAR C253
-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 C254
-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 plus
-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
--- a/lib/fonts/isacr14.bdf	Fri Mar 07 16:44:14 1997 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2951 +0,0 @@
-STARTFONT 2.1
-FONT -isabelle-courier-medium-r-normal--14-140-75-75-m-90-isabelle-0
-SIZE 14 75 75
-FONTBOUNDINGBOX 9 14 4 -3
-STARTPROPERTIES 22
-FONTNAME_REGISTRY ""
-FOUNDRY "Isabelle"
-FAMILY_NAME "Courier"
-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 "Courier"
-COPYRIGHT "Copyright (c) 1985,1987 Adobe Systems,Inc."
-FONT_ASCENT 11
-FONT_DESCENT 3
-CAP_HEIGHT 9
-X_HEIGHT 7
-ENDPROPERTIES
-CHARS 191
-STARTCHAR space
-ENCODING 32
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR exclam
-ENCODING 33
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 1 10 3 0
-BITMAP
-80
-80
-80
-80
-80
-80
-80
-00
-00
-80
-ENDCHAR
-STARTCHAR quotedbl
-ENCODING 34
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 4 4 2 5
-BITMAP
-90
-90
-90
-90
-ENDCHAR
-STARTCHAR numbersign
-ENCODING 35
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 5 9 2 0
-BITMAP
-50
-50
-50
-f8
-50
-f8
-50
-50
-50
-ENDCHAR
-STARTCHAR dollar
-ENCODING 36
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 5 13 2 -2
-BITMAP
-20
-20
-78
-88
-80
-c0
-30
-08
-88
-f0
-20
-20
-20
-ENDCHAR
-STARTCHAR percent
-ENCODING 37
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 10 1 0
-BITMAP
-60
-90
-90
-66
-18
-30
-cc
-12
-12
-0c
-ENDCHAR
-STARTCHAR ampersand
-ENCODING 38
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 8 1 0
-BITMAP
-38
-48
-40
-40
-a8
-90
-98
-64
-ENDCHAR
-STARTCHAR quoteright
-ENCODING 39
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 3 4 2 5
-BITMAP
-60
-60
-c0
-80
-ENDCHAR
-STARTCHAR parenleft
-ENCODING 40
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 3 12 3 -2
-BITMAP
-20
-40
-40
-80
-80
-80
-80
-80
-80
-40
-40
-20
-ENDCHAR
-STARTCHAR parenright
-ENCODING 41
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 3 12 2 -2
-BITMAP
-80
-40
-40
-20
-20
-20
-20
-20
-20
-40
-40
-80
-ENDCHAR
-STARTCHAR asterisk
-ENCODING 42
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 5 6 1 3
-BITMAP
-20
-20
-f8
-20
-50
-88
-ENDCHAR
-STARTCHAR plus
-ENCODING 43
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 7 1 1
-BITMAP
-10
-10
-10
-fe
-10
-10
-10
-ENDCHAR
-STARTCHAR comma
-ENCODING 44
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 3 4 2 -2
-BITMAP
-60
-60
-c0
-80
-ENDCHAR
-STARTCHAR minus
-ENCODING 45
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 1 1 4
-BITMAP
-fe
-ENDCHAR
-STARTCHAR period
-ENCODING 46
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 2 2 3 0
-BITMAP
-c0
-c0
-ENDCHAR
-STARTCHAR slash
-ENCODING 47
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 11 1 -1
-BITMAP
-04
-08
-08
-10
-10
-20
-20
-40
-40
-80
-80
-ENDCHAR
-STARTCHAR zero
-ENCODING 48
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 10 1 0
-BITMAP
-78
-84
-84
-84
-84
-84
-84
-84
-84
-78
-ENDCHAR
-STARTCHAR one
-ENCODING 49
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 5 10 1 0
-BITMAP
-20
-60
-a0
-20
-20
-20
-20
-20
-20
-f8
-ENDCHAR
-STARTCHAR two
-ENCODING 50
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 10 1 0
-BITMAP
-78
-84
-84
-04
-08
-10
-20
-40
-84
-fc
-ENDCHAR
-STARTCHAR three
-ENCODING 51
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 10 1 0
-BITMAP
-78
-84
-04
-04
-38
-04
-04
-04
-84
-78
-ENDCHAR
-STARTCHAR four
-ENCODING 52
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 10 1 0
-BITMAP
-18
-28
-28
-48
-48
-88
-88
-fc
-08
-1c
-ENDCHAR
-STARTCHAR five
-ENCODING 53
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 10 1 0
-BITMAP
-7c
-40
-40
-40
-78
-04
-04
-04
-84
-78
-ENDCHAR
-STARTCHAR six
-ENCODING 54
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 10 1 0
-BITMAP
-38
-40
-80
-80
-b8
-c4
-84
-84
-44
-38
-ENDCHAR
-STARTCHAR seven
-ENCODING 55
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 10 1 0
-BITMAP
-fc
-84
-04
-08
-08
-08
-10
-10
-10
-10
-ENDCHAR
-STARTCHAR eight
-ENCODING 56
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 10 1 0
-BITMAP
-78
-84
-84
-84
-78
-84
-84
-84
-84
-78
-ENDCHAR
-STARTCHAR nine
-ENCODING 57
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 10 1 0
-BITMAP
-70
-88
-84
-84
-8c
-74
-04
-04
-08
-70
-ENDCHAR
-STARTCHAR colon
-ENCODING 58
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 2 7 3 0
-BITMAP
-c0
-c0
-00
-00
-00
-c0
-c0
-ENDCHAR
-STARTCHAR semicolon
-ENCODING 59
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 3 9 2 -2
-BITMAP
-60
-60
-00
-00
-00
-60
-60
-c0
-80
-ENDCHAR
-STARTCHAR less
-ENCODING 60
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 7 1 1
-BITMAP
-06
-18
-60
-80
-60
-18
-06
-ENDCHAR
-STARTCHAR equal
-ENCODING 61
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 3 1 3
-BITMAP
-fe
-00
-fe
-ENDCHAR
-STARTCHAR greater
-ENCODING 62
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 7 1 1
-BITMAP
-c0
-30
-0c
-02
-0c
-30
-c0
-ENDCHAR
-STARTCHAR question
-ENCODING 63
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 5 9 1 0
-BITMAP
-70
-88
-88
-08
-10
-20
-20
-00
-20
-ENDCHAR
-STARTCHAR at
-ENCODING 64
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 10 1 -1
-BITMAP
-38
-44
-84
-9c
-a4
-a4
-9e
-80
-40
-38
-ENDCHAR
-STARTCHAR A
-ENCODING 65
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 9 9 0 0
-BITMAP
-3800
-0800
-1400
-1400
-2200
-3e00
-4100
-4100
-f780
-ENDCHAR
-STARTCHAR B
-ENCODING 66
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-fc
-42
-42
-42
-7c
-42
-42
-42
-fc
-ENDCHAR
-STARTCHAR C
-ENCODING 67
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-3a
-46
-82
-80
-80
-80
-80
-42
-3c
-ENDCHAR
-STARTCHAR D
-ENCODING 68
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 9 0 0
-BITMAP
-fc
-42
-41
-41
-41
-41
-41
-42
-fc
-ENDCHAR
-STARTCHAR E
-ENCODING 69
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-fe
-42
-42
-48
-78
-48
-42
-42
-fe
-ENDCHAR
-STARTCHAR F
-ENCODING 70
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-fe
-42
-42
-48
-78
-48
-40
-40
-f0
-ENDCHAR
-STARTCHAR G
-ENCODING 71
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 9 0 0
-BITMAP
-3a
-46
-82
-80
-80
-8f
-82
-42
-3c
-ENDCHAR
-STARTCHAR H
-ENCODING 72
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 9 0 0
-BITMAP
-e7
-42
-42
-42
-7e
-42
-42
-42
-e7
-ENDCHAR
-STARTCHAR I
-ENCODING 73
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 5 9 2 0
-BITMAP
-f8
-20
-20
-20
-20
-20
-20
-20
-f8
-ENDCHAR
-STARTCHAR J
-ENCODING 74
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-3e
-08
-08
-08
-08
-88
-88
-88
-70
-ENDCHAR
-STARTCHAR K
-ENCODING 75
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 9 0 0
-BITMAP
-ee
-44
-48
-50
-70
-48
-44
-44
-e3
-ENDCHAR
-STARTCHAR L
-ENCODING 76
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 9 0 0
-BITMAP
-f8
-20
-20
-20
-20
-21
-21
-21
-ff
-ENDCHAR
-STARTCHAR M
-ENCODING 77
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 9 9 0 0
-BITMAP
-e380
-6300
-5700
-5500
-4900
-4900
-4100
-4100
-e380
-ENDCHAR
-STARTCHAR N
-ENCODING 78
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 9 0 0
-BITMAP
-e7
-62
-52
-52
-4a
-4a
-46
-46
-e2
-ENDCHAR
-STARTCHAR O
-ENCODING 79
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 9 0 0
-BITMAP
-3c
-42
-81
-81
-81
-81
-81
-42
-3c
-ENDCHAR
-STARTCHAR P
-ENCODING 80
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-fc
-42
-42
-42
-42
-7c
-40
-40
-f0
-ENDCHAR
-STARTCHAR Q
-ENCODING 81
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 11 0 -2
-BITMAP
-3c
-42
-81
-81
-81
-81
-81
-42
-3c
-31
-5e
-ENDCHAR
-STARTCHAR R
-ENCODING 82
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 9 0 0
-BITMAP
-fc
-42
-42
-42
-44
-78
-44
-42
-e1
-ENDCHAR
-STARTCHAR S
-ENCODING 83
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 9 1 0
-BITMAP
-74
-8c
-84
-80
-78
-04
-84
-c4
-b8
-ENDCHAR
-STARTCHAR T
-ENCODING 84
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-fe
-92
-92
-10
-10
-10
-10
-10
-7c
-ENDCHAR
-STARTCHAR U
-ENCODING 85
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 9 0 0
-BITMAP
-e7
-42
-42
-42
-42
-42
-42
-42
-3c
-ENDCHAR
-STARTCHAR V
-ENCODING 86
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 9 9 0 0
-BITMAP
-e380
-4100
-4100
-2200
-2200
-1400
-1400
-0800
-0800
-ENDCHAR
-STARTCHAR W
-ENCODING 87
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 9 9 0 0
-BITMAP
-e380
-4100
-4900
-4900
-5500
-5500
-2200
-2200
-2200
-ENDCHAR
-STARTCHAR X
-ENCODING 88
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 9 0 0
-BITMAP
-e7
-42
-24
-24
-18
-24
-24
-42
-e7
-ENDCHAR
-STARTCHAR Y
-ENCODING 89
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-ee
-44
-44
-28
-28
-10
-10
-10
-7c
-ENDCHAR
-STARTCHAR Z
-ENCODING 90
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 9 1 0
-BITMAP
-fc
-84
-88
-10
-20
-20
-44
-84
-fc
-ENDCHAR
-STARTCHAR bracketleft
-ENCODING 91
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 3 12 3 -2
-BITMAP
-e0
-80
-80
-80
-80
-80
-80
-80
-80
-80
-80
-e0
-ENDCHAR
-STARTCHAR backslash
-ENCODING 92
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 11 1 -1
-BITMAP
-80
-40
-40
-20
-20
-10
-10
-08
-08
-04
-04
-ENDCHAR
-STARTCHAR bracketright
-ENCODING 93
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 3 12 2 -2
-BITMAP
-e0
-20
-20
-20
-20
-20
-20
-20
-20
-20
-20
-e0
-ENDCHAR
-STARTCHAR asciicircum
-ENCODING 94
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 5 5 2 4
-BITMAP
-20
-50
-50
-88
-88
-ENDCHAR
-STARTCHAR underscore
-ENCODING 95
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 9 1 0 -3
-BITMAP
-ff80
-ENDCHAR
-STARTCHAR quoteleft
-ENCODING 96
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 3 4 2 5
-BITMAP
-c0
-c0
-60
-20
-ENDCHAR
-STARTCHAR a
-ENCODING 97
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 7 1 0
-BITMAP
-78
-84
-04
-7c
-84
-8c
-76
-ENDCHAR
-STARTCHAR b
-ENCODING 98
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 10 0 0
-BITMAP
-c0
-40
-40
-5c
-62
-41
-41
-41
-62
-dc
-ENDCHAR
-STARTCHAR c
-ENCODING 99
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 7 1 0
-BITMAP
-3a
-46
-82
-80
-80
-42
-3c
-ENDCHAR
-STARTCHAR d
-ENCODING 100
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 10 0 0
-BITMAP
-06
-02
-02
-3a
-46
-82
-82
-82
-46
-3b
-ENDCHAR
-STARTCHAR e
-ENCODING 101
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 7 1 0
-BITMAP
-38
-44
-82
-fe
-80
-42
-3c
-ENDCHAR
-STARTCHAR f
-ENCODING 102
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 10 1 0
-BITMAP
-1e
-20
-20
-fc
-20
-20
-20
-20
-20
-f8
-ENDCHAR
-STARTCHAR g
-ENCODING 103
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 10 0 -3
-BITMAP
-3b
-46
-82
-82
-82
-46
-3a
-02
-04
-78
-ENDCHAR
-STARTCHAR h
-ENCODING 104
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 10 0 0
-BITMAP
-c0
-40
-40
-5c
-62
-42
-42
-42
-42
-e7
-ENDCHAR
-STARTCHAR i
-ENCODING 105
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 5 10 2 0
-BITMAP
-20
-20
-00
-e0
-20
-20
-20
-20
-20
-f8
-ENDCHAR
-STARTCHAR j
-ENCODING 106
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 5 13 1 -3
-BITMAP
-10
-10
-00
-f8
-08
-08
-08
-08
-08
-08
-08
-10
-e0
-ENDCHAR
-STARTCHAR k
-ENCODING 107
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-c0
-40
-4e
-48
-50
-60
-50
-48
-ce
-ENDCHAR
-STARTCHAR l
-ENCODING 108
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 5 9 2 0
-BITMAP
-e0
-20
-20
-20
-20
-20
-20
-20
-f8
-ENDCHAR
-STARTCHAR m
-ENCODING 109
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 9 7 0 0
-BITMAP
-db00
-6d00
-4900
-4900
-4900
-4900
-ed80
-ENDCHAR
-STARTCHAR n
-ENCODING 110
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 7 0 0
-BITMAP
-dc
-62
-42
-42
-42
-42
-e7
-ENDCHAR
-STARTCHAR o
-ENCODING 111
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 7 0 0
-BITMAP
-3c
-42
-81
-81
-81
-42
-3c
-ENDCHAR
-STARTCHAR p
-ENCODING 112
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 10 0 -3
-BITMAP
-dc
-62
-41
-41
-41
-62
-5c
-40
-40
-f0
-ENDCHAR
-STARTCHAR q
-ENCODING 113
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 10 0 -3
-BITMAP
-3b
-46
-82
-82
-82
-46
-3a
-02
-02
-0f
-ENDCHAR
-STARTCHAR r
-ENCODING 114
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 7 1 0
-BITMAP
-cc
-52
-60
-40
-40
-40
-f0
-ENDCHAR
-STARTCHAR s
-ENCODING 115
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 7 1 0
-BITMAP
-7c
-84
-80
-78
-04
-84
-f8
-ENDCHAR
-STARTCHAR t
-ENCODING 116
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 9 1 0
-BITMAP
-40
-40
-f8
-40
-40
-40
-40
-44
-38
-ENDCHAR
-STARTCHAR u
-ENCODING 117
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 7 0 0
-BITMAP
-c6
-42
-42
-42
-42
-46
-3b
-ENDCHAR
-STARTCHAR v
-ENCODING 118
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 7 0 0
-BITMAP
-e7
-42
-42
-24
-24
-18
-18
-ENDCHAR
-STARTCHAR w
-ENCODING 119
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 9 7 0 0
-BITMAP
-e380
-4100
-4900
-4900
-2a00
-3600
-3600
-ENDCHAR
-STARTCHAR x
-ENCODING 120
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 7 1 0
-BITMAP
-ee
-44
-28
-10
-28
-44
-ee
-ENDCHAR
-STARTCHAR y
-ENCODING 121
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 8 10 0 -3
-BITMAP
-e7
-42
-42
-24
-24
-18
-08
-10
-10
-78
-ENDCHAR
-STARTCHAR z
-ENCODING 122
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 5 7 1 0
-BITMAP
-f8
-88
-10
-20
-40
-88
-f8
-ENDCHAR
-STARTCHAR braceleft
-ENCODING 123
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 3 12 3 -2
-BITMAP
-20
-40
-40
-40
-40
-80
-40
-40
-40
-40
-40
-20
-ENDCHAR
-STARTCHAR bar
-ENCODING 124
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 1 11 4 -2
-BITMAP
-80
-80
-80
-80
-80
-80
-80
-80
-80
-80
-80
-ENDCHAR
-STARTCHAR braceright
-ENCODING 125
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 3 12 2 -2
-BITMAP
-80
-40
-40
-40
-40
-20
-40
-40
-40
-40
-40
-80
-ENDCHAR
-STARTCHAR asciitilde
-ENCODING 126
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 6 2 1 3
-BITMAP
-64
-98
-ENDCHAR
-STARTCHAR space
-ENCODING 160
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 1 1 0 0
-BITMAP
-00
-ENDCHAR
-STARTCHAR Gamma
-ENCODING 161
-SWIDTH 216 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-fe
-42
-42
-40
-40
-40
-40
-40
-f0
-ENDCHAR
-STARTCHAR Delta
-ENCODING 162
-SWIDTH 288 0
-DWIDTH 9 0
-BBX 7 8 1 0
-BITMAP
-10
-10
-28
-28
-44
-44
-82
-fe
-ENDCHAR
-STARTCHAR Theta
-ENCODING 163
-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 164
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 9 10 0 0
-BITMAP
-0800
-0800
-1c00
-3600
-3600
-6300
-6300
-c180
-c180
-e380
-ENDCHAR
-STARTCHAR Pi
-ENCODING 165
-SWIDTH 264 0
-DWIDTH 9 0
-BBX 7 8 1 0
-BITMAP
-fe
-44
-44
-44
-44
-44
-44
-ee
-ENDCHAR
-STARTCHAR Sigma
-ENCODING 166
-SWIDTH 240 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-fe
-82
-40
-20
-10
-20
-40
-82
-fe
-ENDCHAR
-STARTCHAR Phi
-ENCODING 167
-SWIDTH 240 0
-DWIDTH 9 0
-BBX 5 9 2 0
-BITMAP
-70
-20
-70
-a8
-a8
-a8
-70
-20
-70
-ENDCHAR
-STARTCHAR Psi
-ENCODING 168
-SWIDTH 264 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-38
-10
-92
-54
-54
-54
-38
-10
-38
-ENDCHAR
-STARTCHAR Omega
-ENCODING 169
-SWIDTH 240 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-38
-44
-82
-82
-82
-44
-28
-aa
-ee
-ENDCHAR
-STARTCHAR alpha
-ENCODING 170
-SWIDTH 216 0
-DWIDTH 9 0
-BBX 8 6 0 0
-BITMAP
-39
-49
-8e
-8c
-8c
-76
-ENDCHAR
-STARTCHAR beta
-ENCODING 171
-SWIDTH 192 0
-DWIDTH 9 0
-BBX 7 11 1 -3
-BITMAP
-1c
-22
-22
-4c
-42
-42
-44
-98
-80
-80
-00
-ENDCHAR
-STARTCHAR gamma
-ENCODING 172
-SWIDTH 168 0
-DWIDTH 9 0
-BBX 7 9 1 -3
-BITMAP
-62
-94
-08
-08
-18
-18
-28
-28
-10
-ENDCHAR
-STARTCHAR delta
-ENCODING 173
-SWIDTH 144 0
-DWIDTH 9 0
-BBX 5 10 2 0
-BITMAP
-38
-60
-40
-30
-78
-c8
-88
-90
-90
-60
-ENDCHAR
-STARTCHAR epsilon
-ENCODING 174
-SWIDTH 144 0
-DWIDTH 9 0
-BBX 5 8 2 0
-BITMAP
-30
-48
-80
-60
-40
-80
-88
-70
-ENDCHAR
-STARTCHAR zeta
-ENCODING 175
-SWIDTH 144 0
-DWIDTH 9 0
-BBX 6 13 1 -3
-BITMAP
-10
-1c
-20
-40
-40
-80
-80
-80
-c0
-70
-18
-18
-00
-ENDCHAR
-STARTCHAR eta
-ENCODING 176
-SWIDTH 168 0
-DWIDTH 9 0
-BBX 6 9 1 -3
-BITMAP
-dc
-64
-44
-44
-88
-88
-08
-10
-10
-ENDCHAR
-STARTCHAR theta
-ENCODING 177
-SWIDTH 216 0
-DWIDTH 9 0
-BBX 7 10 1 0
-BITMAP
-0c
-12
-12
-12
-ce
-24
-24
-48
-48
-70
-ENDCHAR
-STARTCHAR kappa
-ENCODING 178
-SWIDTH 192 0
-DWIDTH 9 0
-BBX 7 6 1 0
-BITMAP
-ce
-50
-70
-50
-52
-8c
-ENDCHAR
-STARTCHAR lambda
-ENCODING 179
-SWIDTH 192 0
-DWIDTH 9 0
-BBX 8 10 0 0
-BITMAP
-60
-30
-30
-18
-18
-2c
-2c
-46
-46
-83
-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 varphi
-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 bigwedge
-ENCODING 196
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 11 1 -1
-BITMAP
-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 llparenthesis
-ENCODING 201
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 4 12 3 -2
-BITMAP
-10
-30
-50
-90
-90
-90
-90
-90
-90
-50
-30
-10
-ENDCHAR
-STARTCHAR rrparenthesis
-ENCODING 202
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 4 12 2 -2
-BITMAP
-80
-c0
-a0
-90
-90
-90
-90
-90
-90
-a0
-c0
-80
-ENDCHAR
-STARTCHAR llbracket
-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 rrbracket
-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 emptyset
-ENCODING 205
-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 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 -2
-BITMAP
-7c
-80
-80
-80
-7c
-00
-7c
-00
-00
-00
-ENDCHAR
-STARTCHAR cap
-ENCODING 208
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 6 7 1 0
-BITMAP
-78
-cc
-84
-84
-84
-84
-84
-ENDCHAR
-STARTCHAR cup
-ENCODING 209
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 6 7 1 0
-BITMAP
-84
-84
-84
-84
-84
-cc
-78
-ENDCHAR
-STARTCHAR bigcap
-ENCODING 210
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 10 1 -1
-BITMAP
-38
-44
-82
-82
-82
-82
-82
-82
-82
-82
-ENDCHAR
-STARTCHAR bigcup
-ENCODING 211
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 10 1 -1
-BITMAP
-82
-82
-82
-82
-82
-82
-82
-82
-44
-38
-ENDCHAR
-STARTCHAR sqcap
-ENCODING 212
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 6 7 1 0
-BITMAP
-fc
-84
-84
-84
-84
-84
-84
-ENDCHAR
-STARTCHAR sqcup
-ENCODING 213
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 6 7 1 0
-BITMAP
-84
-84
-84
-84
-84
-84
-fc
-ENDCHAR
-STARTCHAR bigsqcap
-ENCODING 214
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 10 1 -1
-BITMAP
-fe
-82
-82
-82
-82
-82
-82
-82
-82
-82
-ENDCHAR
-STARTCHAR bigsqcup
-ENCODING 215
-SWIDTH 600 0
-DWIDTH 9 0
-BBX 7 10 1 -1
-BITMAP
-82
-82
-82
-82
-82
-82
-82
-82
-82
-fe
-ENDCHAR
-STARTCHAR perp
-ENCODING 216
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 7 7 1 1
-BITMAP
-10
-10
-10
-10
-10
-10
-fe
-ENDCHAR
-STARTCHAR doteq
-ENCODING 217
-SWIDTH 144 0
-DWIDTH 9 0
-BBX 7 5 1 2
-BITMAP
-10
-00
-fe
-00
-fe
-ENDCHAR
-STARTCHAR equiv
-ENCODING 218
-SWIDTH 240 0
-DWIDTH 9 0
-BBX 6 5 1 1
-BITMAP
-fc
-00
-fc
-00
-fc
-ENDCHAR
-STARTCHAR neq
-ENCODING 219
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 7 7 1 -1
-BITMAP
-04
-08
-fe
-10
-fe
-20
-40
-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 2
-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 2
-BITMAP
-80
-40
-30
-0e
-30
-40
-80
-ENDCHAR
-STARTCHAR succeq
-ENCODING 225
-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 226
-SWIDTH 240 0
-DWIDTH 9 0
-BBX 7 3 1 3
-BITMAP
-60
-92
-0c
-ENDCHAR
-STARTCHAR simeq
-ENCODING 227
-SWIDTH 240 0
-DWIDTH 9 0
-BBX 7 5 1 2
-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 ge
-ENCODING 229
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 6 8 1 0
-BITMAP
-c0
-30
-0c
-30
-c0
-00
-00
-fc
-ENDCHAR
-STARTCHAR leftarrow
-ENCODING 230
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 9 5 0 2
-BITMAP
-3000
-6000
-ff80
-6000
-3000
-ENDCHAR
-STARTCHAR hline
-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 8 5 0 2
-BITMAP
-0c
-06
-ff
-06
-0c
-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 doublehline
-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 8 7 0 0
-BITMAP
-18
-0c
-fe
-03
-fe
-0c
-18
-ENDCHAR
-STARTCHAR twohead_rightarrow
-ENCODING 236
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 9 5 0 2
-BITMAP
-1200
-0900
-ff80
-0900
-1200
-ENDCHAR
-STARTCHAR mapsto
-ENCODING 237
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 7 5 1 2
-BITMAP
-88
-84
-fe
-84
-88
-ENDCHAR
-STARTCHAR leadsto
-ENCODING 238
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 8 5 0 2
-BITMAP
-04
-62
-93
-0e
-04
-ENDCHAR
-STARTCHAR uparrow
-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 downarrow
-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 not_in
-ENCODING 241
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 6 9 1 -1
-BITMAP
-08
-3c
-50
-90
-f8
-a0
-40
-7c
-80
-ENDCHAR
-STARTCHAR times
-ENCODING 242
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 6 6 1 0
-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 -2
-BITMAP
-7c
-80
-80
-80
-7c
-00
-00
-00
-00
-00
-ENDCHAR
-STARTCHAR infinity
-ENCODING 248
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 7 5 1 2
-BITMAP
-44
-aa
-92
-aa
-44
-ENDCHAR
-STARTCHAR Box
-ENCODING 249
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 5 5 2 1
-BITMAP
-f8
-88
-88
-88
-f8
-ENDCHAR
-STARTCHAR Diamond
-ENCODING 250
-SWIDTH 666 0
-DWIDTH 9 0
-BBX 7 7 1 1
-BITMAP
-10
-28
-44
-82
-44
-28
-10
-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
isabelle