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.
isabelle symbol fonts;
authorwenzelm
Mon, 02 Dec 1996 18:22:22 +0100
changeset 2298 df82271be07b
parent 2297 efcabc6df91a
child 2299 ed9720047d53
isabelle symbol fonts;
lib/fonts/bdf-code.txt file | annotate | diff | comparison | revisions
lib/fonts/fonts.alias file | annotate | diff | comparison | revisions
lib/fonts/fonts.dir file | annotate | diff | comparison | revisions
lib/fonts/isacb24.bdf file | annotate | diff | comparison | revisions
lib/fonts/isacr14.bdf file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/fonts/bdf-code.txt	Mon Dec 02 18:22:22 1996 +0100
@@ -0,0 +1,29 @@
+BBX line
+
+BBX 5 13 2 -2
+
+means character
+	extends 5 pixels to the right
+	is 13 Pixels high
+	left margin is 2 pixels 
+	descend from base line is 2 pixels	
+
+
+hex-bin code table for the hacker
+
+0	0	0000
+1	1	0001
+2	2	0010
+3	3	0011
+4	4	0100
+5	5	0101
+6	6	0110
+7	7	0111
+8	8	1000
+9	9	1001
+10	a	1010
+11	b	1011
+12	c	1100
+13	d	1101
+14	e	1110
+15	f	1111
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/fonts/fonts.alias	Mon Dec 02 18:22:22 1996 +0100
@@ -0,0 +1,1 @@
+FILE_NAMES_ALIASES
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/fonts/fonts.dir	Mon Dec 02 18:22:22 1996 +0100
@@ -0,0 +1,3 @@
+2
+isacr14.bdf -isabelle-courier-medium-r-normal--14-140-75-75-m-90-isabelle-0
+isacb24.bdf -isabelle-courier-bold-r-normal--24-240-75-75-m-150-isabelle-0
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/fonts/isacb24.bdf	Mon Dec 02 18:22:22 1996 +0100
@@ -0,0 +1,3936 @@
+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 9 7 2 0
+BITMAP
+ff80
+ff80
+0380
+0380
+0380
+0380
+0380
+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 10 14 1 0
+BITMAP
+ffc0
+ffc0
+01c0
+01c0
+01c0
+01c0
+ffc0
+ffc0
+01c0
+01c0
+01c0
+01c0
+ffc0
+ffc0
+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 10 15 1 -1
+BITMAP
+ffc0
+ffc0
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+ENDCHAR
+STARTCHAR C197
+ENCODING 198
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 15 1 -1
+BITMAP
+ffc0
+ffc0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+ENDCHAR
+STARTCHAR C197
+ENCODING 199
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 15 1 -1
+BITMAP
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+c000
+ffc0
+ffc0
+ENDCHAR
+STARTCHAR C197
+ENCODING 200
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 15 1 -1
+BITMAP
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+ffc0
+ffc0
+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 10 14 1 0
+BITMAP
+ffc0
+ffc0
+cc00
+cc00
+cc00
+cc00
+cc00
+cc00
+cc00
+cc00
+cc00
+cc00
+ffc0
+ffc0
+ENDCHAR
+STARTCHAR C204
+ENCODING 204
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 14 1 0
+BITMAP
+ffc0
+ffc0
+0cc0
+0cc0
+0cc0
+0cc0
+0cc0
+0cc0
+0cc0
+0cc0
+0cc0
+0cc0
+ffc0
+ffc0
+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
+0700
+ffc0
+ffc0
+0e00
+1c00
+ffc0
+ffc0
+3800
+3000
+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 C247
+ENCODING 247
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 7 14 1 0
+BITMAP
+c0
+c0
+c6
+ce
+de
+f6
+e6
+ce
+de
+f6
+e6
+c6
+06
+06
+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
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/fonts/isacr14.bdf	Mon Dec 02 18:22:22 1996 +0100
@@ -0,0 +1,2977 @@
+STARTFONT 2.1
+COMMENT
+COMMENT  Copyright 1984, 1987 Adobe Systems, Inc.
+COMMENT  Portions Copyright 1988 Digital Equipment Corporation
+COMMENT  Portions Copyright 1993 TU Muenchen, Germany
+COMMENT
+COMMENT  Adobe is a registered trademark of Adobe Systems, Inc.  Permission
+COMMENT  to use these trademarks is hereby granted only in association with the
+COMMENT  images described in this file.
+COMMENT
+COMMENT  Permission to use, copy, modify, and distribute this software and
+COMMENT  its documentation for any purpose and without fee is hereby granted,
+COMMENT  provided that the above copyright notices appear in all copies and
+COMMENT  that both those copyright notices and this permission notice appear
+COMMENT  in supporting documentation, and that the names of Adobe Systems,
+COMMENT  Digital Equipment Corporation, and TU Muenchen not be used in
+COMMENT  advertising or publicity pertaining to distribution of the software
+COMMENT  without specific, written prior permission.  Adobe Systems, Digital
+COMMENT  Equipment Corporation, and TU Muenchen  make no representations about
+COMMENT  the suitability of this software for any purpose.  It is provided "as
+COMMENT  is" without express or implied warranty.
+COMMENT
+COMMENT  ADOBE SYSTEMS, DIGITAL EQUIPMENT CORPORATION AND TU MUENCHEN DISCLAIM
+COMMENT  ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED
+COMMENT  WARRANTIES OF MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL ADOBE
+COMMENT  SYSTEMS, DIGITAL EQUIPMENT CORPORATION AND TU MUENCHEN BE LIABLE FOR 
+COMMENT  ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+COMMENT  WHATSOEVE RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+COMMENT  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT 
+COMMENT  OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+FONT -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.,Portions Copyright 1988 Digital Equipment Corp., Portions Copyright 1993 TU Muenchen"
+FONT_ASCENT 11
+FONT_DESCENT 3
+CAP_HEIGHT 9
+X_HEIGHT 7
+ENDPROPERTIES
+CHARS 191
+STARTCHAR space
+ENCODING 32
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 1 1 0 0
+BITMAP
+00
+ENDCHAR
+STARTCHAR exclam
+ENCODING 33
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 1 10 3 0
+BITMAP
+80
+80
+80
+80
+80
+80
+80
+00
+00
+80
+ENDCHAR
+STARTCHAR quotedbl
+ENCODING 34
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 4 4 2 5
+BITMAP
+90
+90
+90
+90
+ENDCHAR
+STARTCHAR numbersign
+ENCODING 35
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 9 2 0
+BITMAP
+50
+50
+50
+f8
+50
+f8
+50
+50
+50
+ENDCHAR
+STARTCHAR dollar
+ENCODING 36
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 13 2 -2
+BITMAP
+20
+20
+78
+88
+80
+c0
+30
+08
+88
+f0
+20
+20
+20
+ENDCHAR
+STARTCHAR percent
+ENCODING 37
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 10 1 0
+BITMAP
+60
+90
+90
+66
+18
+30
+cc
+12
+12
+0c
+ENDCHAR
+STARTCHAR ampersand
+ENCODING 38
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 8 1 0
+BITMAP
+38
+48
+40
+40
+a8
+90
+98
+64
+ENDCHAR
+STARTCHAR quoteright
+ENCODING 39
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 4 2 5
+BITMAP
+60
+60
+c0
+80
+ENDCHAR
+STARTCHAR parenleft
+ENCODING 40
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 12 3 -2
+BITMAP
+20
+40
+40
+80
+80
+80
+80
+80
+80
+40
+40
+20
+ENDCHAR
+STARTCHAR parenright
+ENCODING 41
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 12 2 -2
+BITMAP
+80
+40
+40
+20
+20
+20
+20
+20
+20
+40
+40
+80
+ENDCHAR
+STARTCHAR asterisk
+ENCODING 42
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 6 1 3
+BITMAP
+20
+20
+f8
+20
+50
+88
+ENDCHAR
+STARTCHAR plus
+ENCODING 43
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 1
+BITMAP
+10
+10
+10
+fe
+10
+10
+10
+ENDCHAR
+STARTCHAR comma
+ENCODING 44
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 4 2 -2
+BITMAP
+60
+60
+c0
+80
+ENDCHAR
+STARTCHAR minus
+ENCODING 45
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 1 1 4
+BITMAP
+fe
+ENDCHAR
+STARTCHAR period
+ENCODING 46
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 2 2 3 0
+BITMAP
+c0
+c0
+ENDCHAR
+STARTCHAR slash
+ENCODING 47
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 11 1 -1
+BITMAP
+04
+08
+08
+10
+10
+20
+20
+40
+40
+80
+80
+ENDCHAR
+STARTCHAR zero
+ENCODING 48
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+78
+84
+84
+84
+84
+84
+84
+84
+84
+78
+ENDCHAR
+STARTCHAR one
+ENCODING 49
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 10 1 0
+BITMAP
+20
+60
+a0
+20
+20
+20
+20
+20
+20
+f8
+ENDCHAR
+STARTCHAR two
+ENCODING 50
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+78
+84
+84
+04
+08
+10
+20
+40
+84
+fc
+ENDCHAR
+STARTCHAR three
+ENCODING 51
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+78
+84
+04
+04
+38
+04
+04
+04
+84
+78
+ENDCHAR
+STARTCHAR four
+ENCODING 52
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+18
+28
+28
+48
+48
+88
+88
+fc
+08
+1c
+ENDCHAR
+STARTCHAR five
+ENCODING 53
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+7c
+40
+40
+40
+78
+04
+04
+04
+84
+78
+ENDCHAR
+STARTCHAR six
+ENCODING 54
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+38
+40
+80
+80
+b8
+c4
+84
+84
+44
+38
+ENDCHAR
+STARTCHAR seven
+ENCODING 55
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+fc
+84
+04
+08
+08
+08
+10
+10
+10
+10
+ENDCHAR
+STARTCHAR eight
+ENCODING 56
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+78
+84
+84
+84
+78
+84
+84
+84
+84
+78
+ENDCHAR
+STARTCHAR nine
+ENCODING 57
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+70
+88
+84
+84
+8c
+74
+04
+04
+08
+70
+ENDCHAR
+STARTCHAR colon
+ENCODING 58
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 2 7 3 0
+BITMAP
+c0
+c0
+00
+00
+00
+c0
+c0
+ENDCHAR
+STARTCHAR semicolon
+ENCODING 59
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 9 2 -2
+BITMAP
+60
+60
+00
+00
+00
+60
+60
+c0
+80
+ENDCHAR
+STARTCHAR less
+ENCODING 60
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 1
+BITMAP
+06
+18
+60
+80
+60
+18
+06
+ENDCHAR
+STARTCHAR equal
+ENCODING 61
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 3 1 3
+BITMAP
+fe
+00
+fe
+ENDCHAR
+STARTCHAR greater
+ENCODING 62
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 1
+BITMAP
+c0
+30
+0c
+02
+0c
+30
+c0
+ENDCHAR
+STARTCHAR question
+ENCODING 63
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 9 1 0
+BITMAP
+70
+88
+88
+08
+10
+20
+20
+00
+20
+ENDCHAR
+STARTCHAR at
+ENCODING 64
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 10 1 -1
+BITMAP
+38
+44
+84
+9c
+a4
+a4
+9e
+80
+40
+38
+ENDCHAR
+STARTCHAR A
+ENCODING 65
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 9 0 0
+BITMAP
+3800
+0800
+1400
+1400
+2200
+3e00
+4100
+4100
+f780
+ENDCHAR
+STARTCHAR B
+ENCODING 66
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fc
+42
+42
+42
+7c
+42
+42
+42
+fc
+ENDCHAR
+STARTCHAR C
+ENCODING 67
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+3a
+46
+82
+80
+80
+80
+80
+42
+3c
+ENDCHAR
+STARTCHAR D
+ENCODING 68
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+fc
+42
+41
+41
+41
+41
+41
+42
+fc
+ENDCHAR
+STARTCHAR E
+ENCODING 69
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fe
+42
+42
+48
+78
+48
+42
+42
+fe
+ENDCHAR
+STARTCHAR F
+ENCODING 70
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fe
+42
+42
+48
+78
+48
+40
+40
+f0
+ENDCHAR
+STARTCHAR G
+ENCODING 71
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+3a
+46
+82
+80
+80
+8f
+82
+42
+3c
+ENDCHAR
+STARTCHAR H
+ENCODING 72
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+e7
+42
+42
+42
+7e
+42
+42
+42
+e7
+ENDCHAR
+STARTCHAR I
+ENCODING 73
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 9 2 0
+BITMAP
+f8
+20
+20
+20
+20
+20
+20
+20
+f8
+ENDCHAR
+STARTCHAR J
+ENCODING 74
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+3e
+08
+08
+08
+08
+88
+88
+88
+70
+ENDCHAR
+STARTCHAR K
+ENCODING 75
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+ee
+44
+48
+50
+70
+48
+44
+44
+e3
+ENDCHAR
+STARTCHAR L
+ENCODING 76
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+f8
+20
+20
+20
+20
+21
+21
+21
+ff
+ENDCHAR
+STARTCHAR M
+ENCODING 77
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 9 0 0
+BITMAP
+e380
+6300
+5700
+5500
+4900
+4900
+4100
+4100
+e380
+ENDCHAR
+STARTCHAR N
+ENCODING 78
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+e7
+62
+52
+52
+4a
+4a
+46
+46
+e2
+ENDCHAR
+STARTCHAR O
+ENCODING 79
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+3c
+42
+81
+81
+81
+81
+81
+42
+3c
+ENDCHAR
+STARTCHAR P
+ENCODING 80
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fc
+42
+42
+42
+42
+7c
+40
+40
+f0
+ENDCHAR
+STARTCHAR Q
+ENCODING 81
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 11 0 -2
+BITMAP
+3c
+42
+81
+81
+81
+81
+81
+42
+3c
+31
+5e
+ENDCHAR
+STARTCHAR R
+ENCODING 82
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+fc
+42
+42
+42
+44
+78
+44
+42
+e1
+ENDCHAR
+STARTCHAR S
+ENCODING 83
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 9 1 0
+BITMAP
+74
+8c
+84
+80
+78
+04
+84
+c4
+b8
+ENDCHAR
+STARTCHAR T
+ENCODING 84
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fe
+92
+92
+10
+10
+10
+10
+10
+7c
+ENDCHAR
+STARTCHAR U
+ENCODING 85
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+e7
+42
+42
+42
+42
+42
+42
+42
+3c
+ENDCHAR
+STARTCHAR V
+ENCODING 86
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 9 0 0
+BITMAP
+e380
+4100
+4100
+2200
+2200
+1400
+1400
+0800
+0800
+ENDCHAR
+STARTCHAR W
+ENCODING 87
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 9 0 0
+BITMAP
+e380
+4100
+4900
+4900
+5500
+5500
+2200
+2200
+2200
+ENDCHAR
+STARTCHAR X
+ENCODING 88
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+e7
+42
+24
+24
+18
+24
+24
+42
+e7
+ENDCHAR
+STARTCHAR Y
+ENCODING 89
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+ee
+44
+44
+28
+28
+10
+10
+10
+7c
+ENDCHAR
+STARTCHAR Z
+ENCODING 90
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 9 1 0
+BITMAP
+fc
+84
+88
+10
+20
+20
+44
+84
+fc
+ENDCHAR
+STARTCHAR bracketleft
+ENCODING 91
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 12 3 -2
+BITMAP
+e0
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+e0
+ENDCHAR
+STARTCHAR backslash
+ENCODING 92
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 11 1 -1
+BITMAP
+80
+40
+40
+20
+20
+10
+10
+08
+08
+04
+04
+ENDCHAR
+STARTCHAR bracketright
+ENCODING 93
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 12 2 -2
+BITMAP
+e0
+20
+20
+20
+20
+20
+20
+20
+20
+20
+20
+e0
+ENDCHAR
+STARTCHAR asciicircum
+ENCODING 94
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 5 2 4
+BITMAP
+20
+50
+50
+88
+88
+ENDCHAR
+STARTCHAR underscore
+ENCODING 95
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 1 0 -3
+BITMAP
+ff80
+ENDCHAR
+STARTCHAR quoteleft
+ENCODING 96
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 4 2 5
+BITMAP
+c0
+c0
+60
+20
+ENDCHAR
+STARTCHAR a
+ENCODING 97
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+78
+84
+04
+7c
+84
+8c
+76
+ENDCHAR
+STARTCHAR b
+ENCODING 98
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 0
+BITMAP
+c0
+40
+40
+5c
+62
+41
+41
+41
+62
+dc
+ENDCHAR
+STARTCHAR c
+ENCODING 99
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+3a
+46
+82
+80
+80
+42
+3c
+ENDCHAR
+STARTCHAR d
+ENCODING 100
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 0
+BITMAP
+06
+02
+02
+3a
+46
+82
+82
+82
+46
+3b
+ENDCHAR
+STARTCHAR e
+ENCODING 101
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+38
+44
+82
+fe
+80
+42
+3c
+ENDCHAR
+STARTCHAR f
+ENCODING 102
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 10 1 0
+BITMAP
+1e
+20
+20
+fc
+20
+20
+20
+20
+20
+f8
+ENDCHAR
+STARTCHAR g
+ENCODING 103
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 -3
+BITMAP
+3b
+46
+82
+82
+82
+46
+3a
+02
+04
+78
+ENDCHAR
+STARTCHAR h
+ENCODING 104
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 0
+BITMAP
+c0
+40
+40
+5c
+62
+42
+42
+42
+42
+e7
+ENDCHAR
+STARTCHAR i
+ENCODING 105
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 10 2 0
+BITMAP
+20
+20
+00
+e0
+20
+20
+20
+20
+20
+f8
+ENDCHAR
+STARTCHAR j
+ENCODING 106
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 13 1 -3
+BITMAP
+10
+10
+00
+f8
+08
+08
+08
+08
+08
+08
+08
+10
+e0
+ENDCHAR
+STARTCHAR k
+ENCODING 107
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+c0
+40
+4e
+48
+50
+60
+50
+48
+ce
+ENDCHAR
+STARTCHAR l
+ENCODING 108
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 9 2 0
+BITMAP
+e0
+20
+20
+20
+20
+20
+20
+20
+f8
+ENDCHAR
+STARTCHAR m
+ENCODING 109
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 7 0 0
+BITMAP
+db00
+6d00
+4900
+4900
+4900
+4900
+ed80
+ENDCHAR
+STARTCHAR n
+ENCODING 110
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 7 0 0
+BITMAP
+dc
+62
+42
+42
+42
+42
+e7
+ENDCHAR
+STARTCHAR o
+ENCODING 111
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 7 0 0
+BITMAP
+3c
+42
+81
+81
+81
+42
+3c
+ENDCHAR
+STARTCHAR p
+ENCODING 112
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 -3
+BITMAP
+dc
+62
+41
+41
+41
+62
+5c
+40
+40
+f0
+ENDCHAR
+STARTCHAR q
+ENCODING 113
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 -3
+BITMAP
+3b
+46
+82
+82
+82
+46
+3a
+02
+02
+0f
+ENDCHAR
+STARTCHAR r
+ENCODING 114
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+cc
+52
+60
+40
+40
+40
+f0
+ENDCHAR
+STARTCHAR s
+ENCODING 115
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 7 1 0
+BITMAP
+7c
+84
+80
+78
+04
+84
+f8
+ENDCHAR
+STARTCHAR t
+ENCODING 116
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 9 1 0
+BITMAP
+40
+40
+f8
+40
+40
+40
+40
+44
+38
+ENDCHAR
+STARTCHAR u
+ENCODING 117
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 7 0 0
+BITMAP
+c6
+42
+42
+42
+42
+46
+3b
+ENDCHAR
+STARTCHAR v
+ENCODING 118
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 7 0 0
+BITMAP
+e7
+42
+42
+24
+24
+18
+18
+ENDCHAR
+STARTCHAR w
+ENCODING 119
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 7 0 0
+BITMAP
+e380
+4100
+4900
+4900
+2a00
+3600
+3600
+ENDCHAR
+STARTCHAR x
+ENCODING 120
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+ee
+44
+28
+10
+28
+44
+ee
+ENDCHAR
+STARTCHAR y
+ENCODING 121
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 -3
+BITMAP
+e7
+42
+42
+24
+24
+18
+08
+10
+10
+78
+ENDCHAR
+STARTCHAR z
+ENCODING 122
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 7 1 0
+BITMAP
+f8
+88
+10
+20
+40
+88
+f8
+ENDCHAR
+STARTCHAR braceleft
+ENCODING 123
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 12 3 -2
+BITMAP
+20
+40
+40
+40
+40
+80
+40
+40
+40
+40
+40
+20
+ENDCHAR
+STARTCHAR bar
+ENCODING 124
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 1 11 4 -2
+BITMAP
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+ENDCHAR
+STARTCHAR braceright
+ENCODING 125
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 12 2 -2
+BITMAP
+80
+40
+40
+40
+40
+20
+40
+40
+40
+40
+40
+80
+ENDCHAR
+STARTCHAR asciitilde
+ENCODING 126
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 2 1 3
+BITMAP
+64
+98
+ENDCHAR
+STARTCHAR space
+ENCODING 160
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 1 1 0 0
+BITMAP
+00
+ENDCHAR
+STARTCHAR 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 7 4 1 0
+BITMAP
+fe
+06
+06
+06
+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 7 12 1 -2
+BITMAP
+fe
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+ENDCHAR
+STARTCHAR rceil
+ENCODING 198
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 12 1 -2
+BITMAP
+fe
+02
+02
+02
+02
+02
+02
+02
+02
+02
+02
+02
+ENDCHAR
+STARTCHAR lfloor
+ENCODING 199
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 12 1 -2
+BITMAP
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+fe
+ENDCHAR
+STARTCHAR rfloor
+ENCODING 200
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 12 1 -2
+BITMAP
+02
+02
+02
+02
+02
+02
+02
+02
+02
+02
+02
+fe
+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 7 12 1 -2
+BITMAP
+fe
+90
+90
+90
+90
+90
+90
+90
+90
+90
+90
+fe
+ENDCHAR
+STARTCHAR rrbracket
+ENCODING 204
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 12 1 -2
+BITMAP
+FE
+12
+12
+12
+12
+12
+12
+12
+12
+12
+12
+FE
+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 5 1 1
+BITMAP
+08
+fe
+10
+fe
+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 6 1 1
+BITMAP
+fc
+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 natural
+ENCODING 247
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 4 9 2 0
+BITMAP
+80
+90
+b0
+d0
+90
+b0
+d0
+90
+10
+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