# HG changeset patch # User wenzelm # Date 857724568 -3600 # Node ID 6d0dd9491da89e7a2f9c65ed64b6c42dc0e3c157 # Parent 34993cdffbf7654323100a6584e2f1fb2339bde1 renamed, improved, augmented version of isabelle fonts; diff -r 34993cdffbf7 -r 6d0dd9491da8 lib/fonts/isabelle14.bdf --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib/fonts/isabelle14.bdf Fri Mar 07 09:49:28 1997 +0100 @@ -0,0 +1,2944 @@ +STARTFONT 2.1 +FONT -isabelle-fixed-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 "Fixed" +WEIGHT_NAME "Medium" +SLANT "R" +SETWIDTH_NAME "Normal" +ADD_STYLE_NAME "" +PIXEL_SIZE 14 +POINT_SIZE 140 +RESOLUTION_X 75 +RESOLUTION_Y 75 +SPACING "M" +AVERAGE_WIDTH 90 +CHARSET_REGISTRY "Isabelle" +CHARSET_ENCODING "0" +CHARSET_COLLECTIONS "" +FULL_NAME "Fixed" +COPYRIGHT "Public" +FONT_ASCENT 11 +FONT_DESCENT 3 +CAP_HEIGHT 9 +X_HEIGHT 7 +ENDPROPERTIES +CHARS 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 10 1 -1 +BITMAP +fe +62 +60 +60 +60 +60 +60 +60 +60 +f0 +ENDCHAR +STARTCHAR Delta +ENCODING 162 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 9 10 0 -1 +BITMAP +0800 +0800 +1c00 +1c00 +1600 +2600 +2300 +4300 +4180 +ff80 +ENDCHAR +STARTCHAR Theta +ENCODING 163 +SWIDTH 264 0 +DWIDTH 9 0 +BBX 9 10 1 -1 +BITMAP +3e00 +4100 +c180 +c180 +dd80 +dd80 +c180 +c180 +4100 +3e00 +ENDCHAR +STARTCHAR Lambda +ENCODING 164 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 9 10 0 -1 +BITMAP +0800 +0800 +1c00 +1c00 +1600 +2600 +2300 +4300 +4180 +e380 +ENDCHAR +STARTCHAR Pi +ENCODING 165 +SWIDTH 264 0 +DWIDTH 9 0 +BBX 9 10 0 -1 +BITMAP +ff80 +6300 +6300 +6300 +6300 +6300 +6300 +6300 +6300 +f780 +ENDCHAR +STARTCHAR Sigma +ENCODING 166 +SWIDTH 240 0 +DWIDTH 9 0 +BBX 9 10 1 -1 +BITMAP +7f80 +3080 +1800 +0c00 +0400 +0800 +1000 +3080 +7f80 +ff00 +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 +30 +18 +08 +08 +18 +1c +34 +64 +62 +c3 +ENDCHAR +STARTCHAR mu +ENCODING 180 +SWIDTH 216 0 +DWIDTH 9 0 +BBX 7 9 1 -3 +BITMAP +22 +22 +44 +44 +44 +7e +40 +80 +80 +ENDCHAR +STARTCHAR nu +ENCODING 181 +SWIDTH 168 0 +DWIDTH 9 0 +BBX 6 6 1 0 +BITMAP +64 +24 +28 +48 +50 +e0 +ENDCHAR +STARTCHAR xi +ENCODING 182 +SWIDTH 144 0 +DWIDTH 9 0 +BBX 6 13 1 -3 +BITMAP +10 +3c +40 +40 +40 +38 +40 +80 +80 +f0 +08 +08 +10 +ENDCHAR +STARTCHAR pi +ENCODING 183 +SWIDTH 192 0 +DWIDTH 9 0 +BBX 7 6 1 0 +BITMAP +7e +a8 +28 +28 +48 +48 +ENDCHAR +STARTCHAR rho +ENCODING 184 +SWIDTH 168 0 +DWIDTH 9 0 +BBX 6 9 1 -3 +BITMAP +1c +24 +44 +44 +48 +70 +40 +40 +80 +ENDCHAR +STARTCHAR sigma +ENCODING 185 +SWIDTH 192 0 +DWIDTH 9 0 +BBX 7 6 1 0 +BITMAP +3e +48 +88 +88 +88 +70 +ENDCHAR +STARTCHAR tau +ENCODING 186 +SWIDTH 144 0 +DWIDTH 9 0 +BBX 6 6 1 0 +BITMAP +7c +a0 +20 +20 +20 +c0 +ENDCHAR +STARTCHAR phi +ENCODING 187 +SWIDTH 216 0 +DWIDTH 9 0 +BBX 7 9 1 -3 +BITMAP +4c +92 +92 +a2 +a4 +78 +40 +40 +40 +ENDCHAR +STARTCHAR chi +ENCODING 188 +SWIDTH 216 0 +DWIDTH 9 0 +BBX 8 9 0 -3 +BITMAP +61 +32 +14 +18 +10 +10 +30 +48 +44 +ENDCHAR +STARTCHAR psi +ENCODING 189 +SWIDTH 216 0 +DWIDTH 9 0 +BBX 7 11 1 -3 +BITMAP +08 +48 +ca +4a +52 +54 +54 +38 +10 +00 +00 +ENDCHAR +STARTCHAR omega +ENCODING 190 +SWIDTH 216 0 +DWIDTH 9 0 +BBX 7 6 1 0 +BITMAP +42 +82 +92 +a2 +a4 +78 +ENDCHAR +STARTCHAR not +ENCODING 191 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 6 4 1 0 +BITMAP +fc +04 +04 +04 +ENDCHAR +STARTCHAR and +ENCODING 192 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 7 7 1 0 +BITMAP +10 +28 +28 +44 +44 +82 +82 +ENDCHAR +STARTCHAR or +ENCODING 193 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 7 7 1 0 +BITMAP +82 +82 +44 +44 +28 +28 +10 +ENDCHAR +STARTCHAR forall +ENCODING 194 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 7 11 1 -2 +BITMAP +82 +82 +44 +7c +44 +28 +28 +10 +10 +00 +00 +ENDCHAR +STARTCHAR exists +ENCODING 195 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 5 9 2 0 +BITMAP +f8 +08 +08 +08 +f8 +08 +08 +08 +f8 +ENDCHAR +STARTCHAR And +ENCODING 196 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 7 12 1 -2 +BITMAP +10 +10 +10 +28 +28 +28 +44 +44 +44 +82 +82 +82 +ENDCHAR +STARTCHAR lceil +ENCODING 197 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 5 12 1 -2 +BITMAP +f8 +80 +80 +80 +80 +80 +80 +80 +80 +80 +80 +80 +ENDCHAR +STARTCHAR rceil +ENCODING 198 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 5 12 1 -2 +BITMAP +f8 +08 +08 +08 +08 +08 +08 +08 +08 +08 +08 +08 +ENDCHAR +STARTCHAR lfloor +ENCODING 199 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 5 12 1 -2 +BITMAP +80 +80 +80 +80 +80 +80 +80 +80 +80 +80 +80 +f8 +ENDCHAR +STARTCHAR rfloor +ENCODING 200 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 5 12 1 -2 +BITMAP +08 +08 +08 +08 +08 +08 +08 +08 +08 +08 +08 +f8 +ENDCHAR +STARTCHAR turnstile +ENCODING 201 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 8 9 3 0 +BITMAP +80 +80 +80 +80 +ff +80 +80 +80 +80 +ENDCHAR +STARTCHAR Turnstile +ENCODING 202 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 8 9 3 0 +BITMAP +80 +80 +80 +ff +80 +ff +80 +80 +80 +ENDCHAR +STARTCHAR lbrakk +ENCODING 203 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 6 12 1 -2 +BITMAP +fc +a0 +a0 +a0 +a0 +a0 +a0 +a0 +a0 +a0 +a0 +fc +ENDCHAR +STARTCHAR rbrakk +ENCODING 204 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 6 12 1 -2 +BITMAP +fc +14 +14 +14 +14 +14 +14 +14 +14 +14 +14 +fc +ENDCHAR +STARTCHAR cdot +ENCODING 205 +SWIDTH 600 0 +DWIDTH 8 0 +BBX 2 2 3 3 +BITMAP +c0 +c0 +ENDCHAR +STARTCHAR in +ENCODING 206 +SWIDTH 216 0 +DWIDTH 9 0 +BBX 6 10 1 -3 +BITMAP +3c +40 +80 +f8 +80 +40 +3c +00 +00 +00 +ENDCHAR +STARTCHAR subseteq +ENCODING 207 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 6 10 1 -3 +BITMAP +7c +80 +80 +80 +7c +00 +fc +00 +00 +00 +ENDCHAR +STARTCHAR inter +ENCODING 208 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 6 7 1 0 +BITMAP +78 +84 +84 +84 +84 +84 +84 +ENDCHAR +STARTCHAR union +ENCODING 209 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 6 7 1 0 +BITMAP +84 +84 +84 +84 +84 +84 +78 +ENDCHAR +STARTCHAR Inter +ENCODING 210 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 8 10 1 -1 +BITMAP +3c +42 +81 +81 +81 +81 +81 +81 +81 +81 +ENDCHAR +STARTCHAR Union +ENCODING 211 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 8 10 1 -1 +BITMAP +81 +81 +81 +81 +81 +81 +81 +81 +42 +3c +ENDCHAR +STARTCHAR sqinter +ENCODING 212 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 6 7 1 0 +BITMAP +fc +84 +84 +84 +84 +84 +84 +ENDCHAR +STARTCHAR squnion +ENCODING 213 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 6 7 1 0 +BITMAP +84 +84 +84 +84 +84 +84 +fc +ENDCHAR +STARTCHAR Sqinter +ENCODING 214 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 8 10 1 -1 +BITMAP +ff +81 +81 +81 +81 +81 +81 +81 +81 +81 +ENDCHAR +STARTCHAR Squnion +ENCODING 215 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 8 10 1 -1 +BITMAP +81 +81 +81 +81 +81 +81 +81 +81 +81 +ff +ENDCHAR +STARTCHAR bottom +ENCODING 216 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 7 8 1 0 +BITMAP +10 +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 noteq +ENCODING 219 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 7 7 1 0 +BITMAP +08 +08 +fe +10 +fe +20 +20 +ENDCHAR +STARTCHAR sqsubset +ENCODING 220 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 6 5 1 2 +BITMAP +fc +80 +80 +80 +fc +ENDCHAR +STARTCHAR sqsubseteq +ENCODING 221 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 6 7 1 0 +BITMAP +fc +80 +80 +80 +fc +00 +fc +ENDCHAR +STARTCHAR prec +ENCODING 222 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 7 7 1 1 +BITMAP +02 +04 +18 +e0 +18 +04 +02 +ENDCHAR +STARTCHAR preceq +ENCODING 223 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 7 9 1 0 +BITMAP +02 +04 +18 +e0 +18 +04 +02 +00 +fe +ENDCHAR +STARTCHAR succ +ENCODING 224 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 7 7 1 1 +BITMAP +80 +40 +30 +0e +30 +40 +80 +ENDCHAR +STARTCHAR approx +ENCODING 225 +SWIDTH 240 0 +DWIDTH 9 0 +BBX 7 6 1 1 +BITMAP +60 +92 +0c +60 +92 +0c +ENDCHAR +STARTCHAR sim +ENCODING 226 +SWIDTH 240 0 +DWIDTH 9 0 +BBX 7 3 1 2 +BITMAP +60 +92 +0c +ENDCHAR +STARTCHAR simeq +ENCODING 227 +SWIDTH 240 0 +DWIDTH 9 0 +BBX 7 5 1 1 +BITMAP +60 +92 +0c +00 +fe +ENDCHAR +STARTCHAR le +ENCODING 228 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 6 8 1 0 +BITMAP +0c +30 +c0 +30 +0c +00 +00 +fc +ENDCHAR +STARTCHAR Colon +ENCODING 229 +SWIDTH 600 0 +DWIDTH 8 0 +BBX 4 7 2 0 +BITMAP +90 +90 +00 +00 +00 +90 +90 +ENDCHAR +STARTCHAR leftarrow +ENCODING 230 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 9 5 0 2 +BITMAP +3000 +6000 +ff80 +6000 +3000 +ENDCHAR +STARTCHAR midarrow +ENCODING 231 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 9 1 0 4 +BITMAP +ff80 +ENDCHAR +STARTCHAR rightarrow +ENCODING 232 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 9 5 0 2 +BITMAP +0600 +0300 +ff80 +0300 +0600 +ENDCHAR +STARTCHAR Leftarrow +ENCODING 233 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 9 7 0 0 +BITMAP +1800 +3000 +7f80 +c000 +7f80 +3000 +1800 +ENDCHAR +STARTCHAR Midarrow +ENCODING 234 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 9 3 0 2 +BITMAP +ff80 +0000 +ff80 +ENDCHAR +STARTCHAR Rightarrow +ENCODING 235 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 9 7 0 0 +BITMAP +0c00 +0600 +ff00 +0180 +ff00 +0600 +0c00 +ENDCHAR +STARTCHAR bow +ENCODING 236 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 8 3 0 4 +BITMAP +3c +42 +81 +ENDCHAR +STARTCHAR mapsto +ENCODING 237 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 8 5 1 2 +BITMAP +84 +82 +ff +82 +84 +ENDCHAR +STARTCHAR leadsto +ENCODING 238 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 8 5 0 2 +BITMAP +04 +62 +93 +0e +04 +ENDCHAR +STARTCHAR up +ENCODING 239 +SWIDTH 144 0 +DWIDTH 9 0 +BBX 5 9 2 0 +BITMAP +20 +70 +a8 +20 +20 +20 +20 +20 +20 +ENDCHAR +STARTCHAR down +ENCODING 240 +SWIDTH 144 0 +DWIDTH 9 0 +BBX 5 9 2 0 +BITMAP +20 +20 +20 +20 +20 +20 +a8 +70 +20 +ENDCHAR +STARTCHAR notin +ENCODING 241 +SWIDTH 216 0 +DWIDTH 9 0 +BBX 6 11 1 -3 +BITMAP +08 +3c +48 +90 +f8 +90 +60 +3c +20 +00 +00 +ENDCHAR +STARTCHAR times +ENCODING 242 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 6 6 1 1 +BITMAP +84 +48 +30 +30 +48 +84 +ENDCHAR +STARTCHAR oplus +ENCODING 243 +SWIDTH 240 0 +DWIDTH 9 0 +BBX 9 9 0 0 +BITMAP +1c00 +2200 +4900 +8880 +be80 +8880 +4900 +2200 +1c00 +ENDCHAR +STARTCHAR ominus +ENCODING 244 +SWIDTH 240 0 +DWIDTH 9 0 +BBX 9 9 0 0 +BITMAP +1c00 +2200 +4100 +8080 +be80 +8080 +4100 +2200 +1c00 +ENDCHAR +STARTCHAR otimes +ENCODING 245 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 9 9 0 0 +BITMAP +1c00 +2200 +6300 +9480 +8880 +9480 +6300 +2200 +1c00 +ENDCHAR +STARTCHAR oslash +ENCODING 246 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 9 9 0 0 +BITMAP +1c00 +2200 +4300 +8480 +8880 +9080 +6100 +2200 +1c00 +ENDCHAR +STARTCHAR subset +ENCODING 247 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 6 10 1 -3 +BITMAP +7c +80 +80 +80 +7c +00 +00 +00 +00 +00 +ENDCHAR +STARTCHAR infinity +ENCODING 248 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 9 5 1 2 +BITMAP +7700 +8c80 +8880 +9880 +7700 +ENDCHAR +STARTCHAR box +ENCODING 249 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 8 8 1 0 +BITMAP +ff +81 +81 +81 +81 +81 +81 +ff +ENDCHAR +STARTCHAR diamond +ENCODING 250 +SWIDTH 600 0 +DWIDTH 9 0 +BBX 9 9 1 0 +BITMAP +0800 +1400 +2200 +4100 +8080 +4100 +2200 +1400 +0800 +ENDCHAR +STARTCHAR circ +ENCODING 251 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 5 5 2 2 +BITMAP +70 +88 +88 +88 +70 +ENDCHAR +STARTCHAR bullet +ENCODING 252 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 5 5 2 2 +BITMAP +70 +f8 +f8 +f8 +70 +ENDCHAR +STARTCHAR parallel +ENCODING 253 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 6 12 1 -2 +BITMAP +14 +14 +14 +14 +14 +14 +14 +14 +14 +14 +14 +14 +ENDCHAR +STARTCHAR surd +ENCODING 254 +SWIDTH 0 0 +DWIDTH 9 0 +BBX 7 8 1 0 +BITMAP +06 +04 +04 +c8 +48 +50 +30 +20 +ENDCHAR +STARTCHAR copyright +ENCODING 255 +SWIDTH 666 0 +DWIDTH 9 0 +BBX 9 9 0 0 +BITMAP +1c00 +2200 +5d00 +a080 +a080 +a080 +5d00 +2200 +1c00 +ENDCHAR +ENDFONT diff -r 34993cdffbf7 -r 6d0dd9491da8 lib/fonts/isabelle24.bdf --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib/fonts/isabelle24.bdf Fri Mar 07 09:49:28 1997 +0100 @@ -0,0 +1,3810 @@ +STARTFONT 2.1 +FONT -isabelle-fixed-bold-r-normal--24-240-75-75-m-150-isabelle-0 +SIZE 24 75 75 +FONTBOUNDINGBOX 16 22 6 -5 +STARTPROPERTIES 22 +FONTNAME_REGISTRY "" +FOUNDRY "Isabelle" +FAMILY_NAME "Fixed" +WEIGHT_NAME "Bold" +SLANT "R" +SETWIDTH_NAME "Normal" +ADD_STYLE_NAME "" +PIXEL_SIZE 24 +POINT_SIZE 240 +RESOLUTION_X 75 +RESOLUTION_Y 75 +SPACING "M" +AVERAGE_WIDTH 150 +CHARSET_REGISTRY "Isabelle" +CHARSET_ENCODING "0" +CHARSET_COLLECTIONS "" +FULL_NAME "Fixed Bold" +COPYRIGHT "Public" +FONT_ASCENT 17 +FONT_DESCENT 5 +CAP_HEIGHT 15 +X_HEIGHT 11 +ENDPROPERTIES +CHARS 191 +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 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 15 1 0 +BITMAP +ffc0 +7040 +7000 +7000 +7000 +7000 +7000 +7000 +7000 +7000 +7000 +7000 +7000 +7000 +f800 +ENDCHAR +STARTCHAR Delta +ENCODING 162 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 11 15 1 0 +BITMAP +0600 +0600 +0e00 +0f00 +1f00 +1b00 +1380 +3180 +3180 +21c0 +60c0 +60c0 +c0e0 +c060 +ffe0 +ENDCHAR +STARTCHAR Theta +ENCODING 163 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 12 15 1 0 +BITMAP +1f80 +3fc0 +6060 +c030 +c030 +d0b0 +dfb0 +dfb0 +d0b0 +c030 +c030 +c030 +6060 +3fc0 +1f80 +ENDCHAR +STARTCHAR Lambda +ENCODING 164 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 12 15 1 0 +BITMAP +0600 +0600 +0e00 +0f00 +1f00 +1b00 +1380 +3180 +3180 +21c0 +60c0 +60c0 +c0e0 +c060 +e0f0 +ENDCHAR +STARTCHAR C167 +ENCODING 165 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 13 15 1 0 +BITMAP +fff8 +3060 +3060 +3060 +3060 +3060 +3060 +3060 +3060 +3060 +3060 +3060 +3060 +3060 +78f0 +ENDCHAR +STARTCHAR C167 +ENCODING 166 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 13 15 1 0 +BITMAP +fff8 +e008 +7000 +3800 +1c00 +0e00 +0700 +0300 +0600 +0c00 +1800 +3008 +7ff8 +fff0 +ffe0 +ENDCHAR +STARTCHAR C167 +ENCODING 167 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 12 14 1 0 +BITMAP +0f00 +0600 +0600 +1f80 +76e0 +6660 +c630 +8610 +c630 +6660 +76e0 +1f80 +0600 +0f00 +ENDCHAR +STARTCHAR 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 turnstile +ENCODING 201 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 11 14 1 0 +BITMAP +c000 +c000 +c000 +c000 +c000 +c000 +ffe0 +ffe0 +c000 +c000 +c000 +c000 +c000 +c000 +ENDCHAR +STARTCHAR Turnstile +ENCODING 202 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 11 14 1 0 +BITMAP +c000 +c000 +c000 +c000 +ffe0 +ffe0 +c000 +c000 +ffe0 +ffe0 +c000 +c000 +c000 +c000 +ENDCHAR +STARTCHAR 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 cdot +ENCODING 205 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 3 3 1 4 +BITMAP +e0 +e0 +e0 +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 12 1 0 +BITMAP +0600 +0600 +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 3 +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 2 +BITMAP +ff80 +ff80 +0000 +ff80 +ff80 +0000 +ff80 +ff80 +ENDCHAR +STARTCHAR C161 +ENCODING 219 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 10 12 1 0 +BITMAP +0600 +0600 +0600 +ffc0 +ffc0 +0c00 +0c00 +ffc0 +ffc0 +1800 +1800 +1800 +ENDCHAR +STARTCHAR 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 C161 +ENCODING 225 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 12 8 1 3 +BITMAP +3800 +fe30 +c7f0 +01c0 +3800 +fe30 +c7f0 +01c0 +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 7 10 1 1 +BITMAP +c6 +c6 +00 +00 +00 +00 +00 +00 +c6 +c6 +ENDCHAR +STARTCHAR leftarrow +ENCODING 230 +SWIDTH 666 0 +DWIDTH 15 0 +BBX 13 10 4 2 +BITMAP +0c00 +1c00 +3800 +7000 +fff8 +fff8 +7000 +3800 +1c00 +0c00 +ENDCHAR +STARTCHAR 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 11 4 1 7 +BITMAP +3f80 +7fc0 +e0e0 +c060 +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 +e7dc +c38c +c70c +ef9c +7cf8 +3870 +ENDCHAR +STARTCHAR C161 +ENCODING 249 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 12 12 1 0 +BITMAP +fff0 +fff0 +c030 +c030 +c030 +c030 +c030 +c030 +c030 +c030 +fff0 +fff0 +ENDCHAR +STARTCHAR C161 +ENCODING 250 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 13 13 1 0 +BITMAP +0200 +0700 +0d80 +18c0 +3060 +6030 +c018 +6030 +3060 +18c0 +0d80 +0700 +0200 +ENDCHAR +STARTCHAR C161 +ENCODING 251 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 8 8 1 2 +BITMAP +3c +7e +e7 +c3 +c3 +e7 +7e +3c +ENDCHAR +STARTCHAR C161 +ENCODING 252 +SWIDTH 600 0 +DWIDTH 15 0 +BBX 8 8 1 2 +BITMAP +3c +7e +ff +ff +ff +ff +7e +3c +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