STARTFONT 2.1 FONT -isabelle-fixed-medium-r-normal--14-140-75-75-m-90-isabelle-0 SIZE 14 75 75 FONTBOUNDINGBOX 10 14 4 -3 STARTPROPERTIES 22 FONTNAME_REGISTRY "" FOUNDRY "Isabelle" FAMILY_NAME "Fixed" WEIGHT_NAME "Medium" SLANT "R" SETWIDTH_NAME "Normal" ADD_STYLE_NAME "" PIXEL_SIZE 14 POINT_SIZE 140 RESOLUTION_X 75 RESOLUTION_Y 75 SPACING "M" AVERAGE_WIDTH 90 CHARSET_REGISTRY "Isabelle" CHARSET_ENCODING "0" CHARSET_COLLECTIONS "" FULL_NAME "Fixed" COPYRIGHT "Public" FONT_ASCENT 11 FONT_DESCENT 3 CAP_HEIGHT 9 X_HEIGHT 7 ENDPROPERTIES CHARS 206 STARTCHAR space ENCODING 32 SWIDTH 600 0 DWIDTH 9 0 BBX 1 1 0 0 BITMAP 00 ENDCHAR STARTCHAR exclam ENCODING 33 SWIDTH 600 0 DWIDTH 9 0 BBX 1 10 3 0 BITMAP 80 80 80 80 80 80 80 00 00 80 ENDCHAR STARTCHAR quotedbl ENCODING 34 SWIDTH 600 0 DWIDTH 9 0 BBX 4 4 2 5 BITMAP 90 90 90 90 ENDCHAR STARTCHAR numbersign ENCODING 35 SWIDTH 600 0 DWIDTH 9 0 BBX 5 9 2 0 BITMAP 50 50 50 f8 50 f8 50 50 50 ENDCHAR STARTCHAR dollar ENCODING 36 SWIDTH 600 0 DWIDTH 9 0 BBX 5 13 2 -2 BITMAP 20 20 70 88 80 40 30 08 88 70 20 20 20 ENDCHAR STARTCHAR percent ENCODING 37 SWIDTH 600 0 DWIDTH 9 0 BBX 7 10 1 0 BITMAP 60 90 90 66 18 30 cc 12 12 0c ENDCHAR STARTCHAR ampersand ENCODING 38 SWIDTH 600 0 DWIDTH 9 0 BBX 6 8 1 0 BITMAP 38 48 40 40 a8 90 98 64 ENDCHAR STARTCHAR quoteright ENCODING 39 SWIDTH 600 0 DWIDTH 9 0 BBX 3 4 2 5 BITMAP 60 60 c0 80 ENDCHAR STARTCHAR parenleft ENCODING 40 SWIDTH 600 0 DWIDTH 9 0 BBX 3 12 3 -2 BITMAP 20 40 40 80 80 80 80 80 80 40 40 20 ENDCHAR STARTCHAR parenright ENCODING 41 SWIDTH 600 0 DWIDTH 9 0 BBX 3 12 2 -2 BITMAP 80 40 40 20 20 20 20 20 20 40 40 80 ENDCHAR STARTCHAR asterisk ENCODING 42 SWIDTH 600 0 DWIDTH 9 0 BBX 5 6 1 3 BITMAP 20 20 f8 20 50 88 ENDCHAR STARTCHAR plus ENCODING 43 SWIDTH 600 0 DWIDTH 9 0 BBX 7 7 1 1 BITMAP 10 10 10 fe 10 10 10 ENDCHAR STARTCHAR comma ENCODING 44 SWIDTH 600 0 DWIDTH 9 0 BBX 3 4 2 -2 BITMAP 60 60 c0 80 ENDCHAR STARTCHAR minus ENCODING 45 SWIDTH 600 0 DWIDTH 9 0 BBX 7 1 1 4 BITMAP fe ENDCHAR STARTCHAR period ENCODING 46 SWIDTH 600 0 DWIDTH 9 0 BBX 2 2 3 0 BITMAP c0 c0 ENDCHAR STARTCHAR slash ENCODING 47 SWIDTH 600 0 DWIDTH 9 0 BBX 6 11 1 -1 BITMAP 04 08 08 10 10 20 20 40 40 80 80 ENDCHAR STARTCHAR zero ENCODING 48 SWIDTH 600 0 DWIDTH 9 0 BBX 6 10 1 0 BITMAP 78 84 84 84 84 84 84 84 84 78 ENDCHAR STARTCHAR one ENCODING 49 SWIDTH 600 0 DWIDTH 9 0 BBX 4 10 1 0 BITMAP 20 60 a0 20 20 20 20 20 20 70 ENDCHAR STARTCHAR two ENCODING 50 SWIDTH 600 0 DWIDTH 9 0 BBX 6 10 1 0 BITMAP 78 84 84 04 08 10 20 40 80 fc ENDCHAR STARTCHAR three ENCODING 51 SWIDTH 600 0 DWIDTH 9 0 BBX 6 10 1 0 BITMAP 78 84 04 04 38 04 04 04 84 78 ENDCHAR STARTCHAR four ENCODING 52 SWIDTH 600 0 DWIDTH 9 0 BBX 6 10 1 0 BITMAP 18 28 28 48 48 88 88 fc 08 08 ENDCHAR STARTCHAR five ENCODING 53 SWIDTH 600 0 DWIDTH 9 0 BBX 6 10 1 0 BITMAP 7c 40 40 40 78 04 04 04 84 78 ENDCHAR STARTCHAR six ENCODING 54 SWIDTH 600 0 DWIDTH 9 0 BBX 6 10 1 0 BITMAP 38 40 80 80 b8 c4 84 84 44 38 ENDCHAR STARTCHAR seven ENCODING 55 SWIDTH 600 0 DWIDTH 9 0 BBX 6 10 1 0 BITMAP fc 84 04 08 08 08 10 10 10 10 ENDCHAR STARTCHAR eight ENCODING 56 SWIDTH 600 0 DWIDTH 9 0 BBX 6 10 1 0 BITMAP 78 84 84 84 78 84 84 84 84 78 ENDCHAR STARTCHAR nine ENCODING 57 SWIDTH 600 0 DWIDTH 9 0 BBX 6 10 1 0 BITMAP 70 88 84 84 8c 74 04 04 08 70 ENDCHAR STARTCHAR colon ENCODING 58 SWIDTH 600 0 DWIDTH 9 0 BBX 2 7 3 0 BITMAP c0 c0 00 00 00 c0 c0 ENDCHAR STARTCHAR semicolon ENCODING 59 SWIDTH 600 0 DWIDTH 9 0 BBX 3 9 2 -2 BITMAP 60 60 00 00 00 60 60 c0 80 ENDCHAR STARTCHAR less ENCODING 60 SWIDTH 600 0 DWIDTH 9 0 BBX 7 7 1 1 BITMAP 06 18 60 80 60 18 06 ENDCHAR STARTCHAR equal ENCODING 61 SWIDTH 600 0 DWIDTH 9 0 BBX 7 3 1 3 BITMAP fe 00 fe ENDCHAR STARTCHAR greater ENCODING 62 SWIDTH 600 0 DWIDTH 9 0 BBX 7 7 1 1 BITMAP c0 30 0c 02 0c 30 c0 ENDCHAR STARTCHAR question ENCODING 63 SWIDTH 600 0 DWIDTH 9 0 BBX 5 9 1 0 BITMAP 70 88 88 08 10 20 20 00 20 ENDCHAR STARTCHAR at ENCODING 64 SWIDTH 600 0 DWIDTH 9 0 BBX 6 10 1 -1 BITMAP 38 44 84 9c a4 a4 9c 80 40 38 ENDCHAR STARTCHAR A ENCODING 65 SWIDTH 600 0 DWIDTH 9 0 BBX 7 9 1 0 BITMAP 10 10 28 28 44 7c 82 82 82 ENDCHAR STARTCHAR B ENCODING 66 SWIDTH 600 0 DWIDTH 9 0 BBX 6 9 1 0 BITMAP f8 84 84 84 f8 84 84 84 f8 ENDCHAR STARTCHAR C ENCODING 67 SWIDTH 600 0 DWIDTH 9 0 BBX 7 9 1 0 BITMAP 3c 42 80 80 80 80 80 42 3c ENDCHAR STARTCHAR D ENCODING 68 SWIDTH 600 0 DWIDTH 9 0 BBX 7 9 1 0 BITMAP f8 84 82 82 82 82 82 84 f8 ENDCHAR STARTCHAR E ENCODING 69 SWIDTH 600 0 DWIDTH 9 0 BBX 6 9 1 0 BITMAP fc 80 80 80 f0 80 80 80 fc ENDCHAR STARTCHAR F ENCODING 70 SWIDTH 600 0 DWIDTH 9 0 BBX 6 9 1 0 BITMAP fc 80 80 80 f0 80 80 80 80 ENDCHAR STARTCHAR G ENCODING 71 SWIDTH 600 0 DWIDTH 9 0 BBX 7 9 0 0 BITMAP 3c 42 80 80 80 8e 82 42 3c ENDCHAR STARTCHAR H ENCODING 72 SWIDTH 600 0 DWIDTH 9 0 BBX 6 9 1 0 BITMAP 84 84 84 84 fc 84 84 84 84 ENDCHAR STARTCHAR I ENCODING 73 SWIDTH 600 0 DWIDTH 9 0 BBX 3 9 2 0 BITMAP e0 40 40 40 40 40 40 40 e0 ENDCHAR STARTCHAR J ENCODING 74 SWIDTH 600 0 DWIDTH 9 0 BBX 6 9 1 0 BITMAP 1c 08 08 08 08 88 88 88 70 ENDCHAR STARTCHAR K ENCODING 75 SWIDTH 600 0 DWIDTH 9 0 BBX 6 9 1 0 BITMAP 84 88 90 a0 e0 90 88 88 84 ENDCHAR STARTCHAR L ENCODING 76 SWIDTH 600 0 DWIDTH 9 0 BBX 7 9 0 0 BITMAP e0 40 40 40 40 40 40 42 7e ENDCHAR STARTCHAR M ENCODING 77 SWIDTH 600 0 DWIDTH 9 0 BBX 7 9 1 0 BITMAP c6 c6 aa aa 92 92 82 82 82 ENDCHAR STARTCHAR N ENCODING 78 SWIDTH 600 0 DWIDTH 9 0 BBX 6 9 1 0 BITMAP c4 c4 a4 a4 94 94 8c 8c 84 ENDCHAR STARTCHAR O ENCODING 79 SWIDTH 600 0 DWIDTH 9 0 BBX 8 9 0 0 BITMAP 3c 42 81 81 81 81 81 42 3c ENDCHAR STARTCHAR P ENCODING 80 SWIDTH 600 0 DWIDTH 9 0 BBX 6 9 1 0 BITMAP f8 84 84 84 84 f8 80 80 80 ENDCHAR STARTCHAR Q ENCODING 81 SWIDTH 600 0 DWIDTH 9 0 BBX 8 11 0 -2 BITMAP 3c 42 81 81 81 81 81 42 3c 31 5e ENDCHAR STARTCHAR R ENCODING 82 SWIDTH 600 0 DWIDTH 9 0 BBX 7 9 1 0 BITMAP f8 84 84 84 88 f0 88 84 82 ENDCHAR STARTCHAR S ENCODING 83 SWIDTH 600 0 DWIDTH 9 0 BBX 6 9 1 0 BITMAP 78 84 80 80 78 04 04 84 78 ENDCHAR STARTCHAR T ENCODING 84 SWIDTH 600 0 DWIDTH 9 0 BBX 7 9 1 0 BITMAP fe 92 10 10 10 10 10 10 10 ENDCHAR STARTCHAR U ENCODING 85 SWIDTH 600 0 DWIDTH 9 0 BBX 6 9 1 0 BITMAP 84 84 84 84 84 84 84 84 78 ENDCHAR STARTCHAR V ENCODING 86 SWIDTH 600 0 DWIDTH 9 0 BBX 7 9 1 0 BITMAP 82 82 82 44 44 28 28 10 10 ENDCHAR STARTCHAR W ENCODING 87 SWIDTH 600 0 DWIDTH 9 0 BBX 7 9 1 0 BITMAP 82 82 92 92 aa aa 44 44 44 ENDCHAR STARTCHAR X ENCODING 88 SWIDTH 600 0 DWIDTH 9 0 BBX 8 9 0 0 BITMAP 81 42 24 24 18 24 24 42 81 ENDCHAR STARTCHAR Y ENCODING 89 SWIDTH 600 0 DWIDTH 9 0 BBX 7 9 1 0 BITMAP 82 44 44 28 28 10 10 10 10 ENDCHAR STARTCHAR Z ENCODING 90 SWIDTH 600 0 DWIDTH 9 0 BBX 6 9 1 0 BITMAP fc 04 08 10 20 20 40 80 fc ENDCHAR STARTCHAR bracketleft ENCODING 91 SWIDTH 600 0 DWIDTH 9 0 BBX 3 12 3 -2 BITMAP e0 80 80 80 80 80 80 80 80 80 80 e0 ENDCHAR STARTCHAR backslash ENCODING 92 SWIDTH 600 0 DWIDTH 9 0 BBX 6 11 1 -1 BITMAP 80 40 40 20 20 10 10 08 08 04 04 ENDCHAR STARTCHAR bracketright ENCODING 93 SWIDTH 600 0 DWIDTH 9 0 BBX 3 12 2 -2 BITMAP e0 20 20 20 20 20 20 20 20 20 20 e0 ENDCHAR STARTCHAR asciicircum ENCODING 94 SWIDTH 600 0 DWIDTH 9 0 BBX 5 5 2 4 BITMAP 20 50 50 88 88 ENDCHAR STARTCHAR underscore ENCODING 95 SWIDTH 600 0 DWIDTH 9 0 BBX 9 1 0 -3 BITMAP ff80 ENDCHAR STARTCHAR quoteleft ENCODING 96 SWIDTH 600 0 DWIDTH 9 0 BBX 3 4 2 5 BITMAP c0 c0 60 20 ENDCHAR STARTCHAR a ENCODING 97 SWIDTH 600 0 DWIDTH 9 0 BBX 7 7 1 0 BITMAP 78 04 04 7c 84 8c 76 ENDCHAR STARTCHAR b ENCODING 98 SWIDTH 600 0 DWIDTH 9 0 BBX 7 10 1 0 BITMAP 80 80 80 b8 c4 82 82 82 c4 b8 ENDCHAR STARTCHAR c ENCODING 99 SWIDTH 600 0 DWIDTH 9 0 BBX 7 7 1 0 BITMAP 3c 42 80 80 80 42 3c ENDCHAR STARTCHAR d ENCODING 100 SWIDTH 600 0 DWIDTH 9 0 BBX 7 10 0 0 BITMAP 02 02 02 3a 46 82 82 82 46 3a ENDCHAR STARTCHAR e ENCODING 101 SWIDTH 600 0 DWIDTH 9 0 BBX 7 7 1 0 BITMAP 38 44 82 fe 80 42 3c ENDCHAR STARTCHAR f ENCODING 102 SWIDTH 600 0 DWIDTH 9 0 BBX 7 10 1 0 BITMAP 1e 20 20 fc 20 20 20 20 20 20 ENDCHAR STARTCHAR g ENCODING 103 SWIDTH 600 0 DWIDTH 9 0 BBX 7 10 0 -3 BITMAP 3a 46 82 82 82 46 3a 02 04 78 ENDCHAR STARTCHAR h ENCODING 104 SWIDTH 600 0 DWIDTH 9 0 BBX 6 10 1 0 BITMAP 80 80 80 b8 c4 84 84 84 84 84 ENDCHAR STARTCHAR i ENCODING 105 SWIDTH 600 0 DWIDTH 9 0 BBX 3 10 3 0 BITMAP 40 40 00 c0 40 40 40 40 40 e0 ENDCHAR STARTCHAR j ENCODING 106 SWIDTH 600 0 DWIDTH 9 0 BBX 4 13 1 -3 BITMAP 10 10 00 30 10 10 10 10 10 10 10 20 c0 ENDCHAR STARTCHAR k ENCODING 107 SWIDTH 600 0 DWIDTH 9 0 BBX 5 9 1 0 BITMAP 80 80 98 90 a0 c0 a0 90 98 ENDCHAR STARTCHAR l ENCODING 108 SWIDTH 600 0 DWIDTH 9 0 BBX 3 9 3 0 BITMAP c0 40 40 40 40 40 40 40 e0 ENDCHAR STARTCHAR m ENCODING 109 SWIDTH 600 0 DWIDTH 9 0 BBX 8 7 0 0 BITMAP db 6d 49 49 49 49 49 ENDCHAR STARTCHAR n ENCODING 110 SWIDTH 600 0 DWIDTH 9 0 BBX 7 7 0 0 BITMAP dc 62 42 42 42 42 42 ENDCHAR STARTCHAR o ENCODING 111 SWIDTH 600 0 DWIDTH 9 0 BBX 8 7 0 0 BITMAP 3c 42 81 81 81 42 3c ENDCHAR STARTCHAR p ENCODING 112 SWIDTH 600 0 DWIDTH 9 0 BBX 7 10 1 -3 BITMAP b8 c4 82 82 82 c4 b8 80 80 80 ENDCHAR STARTCHAR q ENCODING 113 SWIDTH 600 0 DWIDTH 9 0 BBX 7 10 0 -3 BITMAP 3a 46 82 82 82 46 3a 02 02 02 ENDCHAR STARTCHAR r ENCODING 114 SWIDTH 600 0 DWIDTH 9 0 BBX 6 7 1 0 BITMAP 98 a4 c0 80 80 80 80 ENDCHAR STARTCHAR s ENCODING 115 SWIDTH 600 0 DWIDTH 9 0 BBX 6 7 1 0 BITMAP 78 84 80 78 04 84 78 ENDCHAR STARTCHAR t ENCODING 116 SWIDTH 600 0 DWIDTH 9 0 BBX 6 9 1 0 BITMAP 40 40 f0 40 40 40 40 44 38 ENDCHAR STARTCHAR u ENCODING 117 SWIDTH 600 0 DWIDTH 9 0 BBX 7 7 1 0 BITMAP 84 84 84 84 84 8c 76 ENDCHAR STARTCHAR v ENCODING 118 SWIDTH 600 0 DWIDTH 9 0 BBX 6 7 1 0 BITMAP 84 84 84 48 48 30 30 ENDCHAR STARTCHAR w ENCODING 119 SWIDTH 600 0 DWIDTH 9 0 BBX 7 7 1 0 BITMAP 82 82 92 92 54 6c 6c ENDCHAR STARTCHAR x ENCODING 120 SWIDTH 600 0 DWIDTH 9 0 BBX 7 7 1 0 BITMAP c6 44 28 10 28 44 c6 ENDCHAR STARTCHAR y ENCODING 121 SWIDTH 600 0 DWIDTH 9 0 BBX 6 10 1 -3 BITMAP 84 84 84 48 48 30 10 20 20 60 ENDCHAR STARTCHAR z ENCODING 122 SWIDTH 600 0 DWIDTH 9 0 BBX 5 7 1 0 BITMAP f8 08 10 20 40 80 f8 ENDCHAR STARTCHAR braceleft ENCODING 123 SWIDTH 600 0 DWIDTH 9 0 BBX 3 12 3 -2 BITMAP 20 40 40 40 40 80 40 40 40 40 40 20 ENDCHAR STARTCHAR bar ENCODING 124 SWIDTH 600 0 DWIDTH 9 0 BBX 1 11 4 -2 BITMAP 80 80 80 80 80 80 80 80 80 80 80 ENDCHAR STARTCHAR braceright ENCODING 125 SWIDTH 600 0 DWIDTH 9 0 BBX 3 12 2 -2 BITMAP 80 40 40 40 40 20 40 40 40 40 40 80 ENDCHAR STARTCHAR asciitilde ENCODING 126 SWIDTH 600 0 DWIDTH 9 0 BBX 6 2 1 3 BITMAP 64 98 ENDCHAR STARTCHAR lless ENCODING 145 SWIDTH 666 0 DWIDTH 9 0 BBX 6 11 1 -1 BITMAP 04 08 10 24 48 90 48 24 10 08 04 ENDCHAR STARTCHAR unlhd ENCODING 146 SWIDTH 666 0 DWIDTH 9 0 BBX 8 9 1 -1 BITMAP 03 0d 31 c1 31 0d 03 00 ff ENDCHAR STARTCHAR lhd ENCODING 147 SWIDTH 666 0 DWIDTH 9 0 BBX 8 7 1 1 BITMAP 03 0d 31 c1 31 0d 03 ENDCHAR STARTCHAR rhd ENCODING 148 SWIDTH 666 0 DWIDTH 9 0 BBX 8 7 1 1 BITMAP c0 b0 8c 83 8c b0 c0 ENDCHAR STARTCHAR tturnstile ENCODING 149 SWIDTH 600 0 DWIDTH 9 0 BBX 8 9 3 0 BITMAP a0 a0 a0 a0 ff a0 a0 a0 a0 ENDCHAR STARTCHAR langle ENCODING 150 SWIDTH 600 0 DWIDTH 9 0 BBX 4 12 3 -2 BITMAP 10 20 20 40 40 80 80 40 40 20 20 10 ENDCHAR STARTCHAR rangle ENCODING 151 SWIDTH 600 0 DWIDTH 9 0 BBX 4 12 3 -2 BITMAP 80 40 40 20 20 10 10 20 20 40 40 80 ENDCHAR STARTCHAR choice ENCODING 152 SWIDTH 666 0 DWIDTH 9 0 BBX 6 12 1 -2 BITMAP 3c 24 24 24 24 24 24 24 24 24 24 3c ENDCHAR STARTCHAR top ENCODING 153 SWIDTH 666 0 DWIDTH 9 0 BBX 7 6 1 2 BITMAP fe 10 10 10 10 10 ENDCHAR STARTCHAR Or ENCODING 154 SWIDTH 600 0 DWIDTH 9 0 BBX 7 12 1 -2 BITMAP 82 82 82 44 44 44 28 28 28 10 10 10 ENDCHAR STARTCHAR ocdot ENCODING 155 SWIDTH 240 0 DWIDTH 9 0 BBX 9 9 0 0 BITMAP 1c00 2200 4100 8080 8880 8080 4100 2200 1c00 ENDCHAR STARTCHAR iota ENCODING 156 SWIDTH 168 0 DWIDTH 9 0 BBX 3 6 1 0 BITMAP e0 60 60 c0 e0 c0 ENDCHAR STARTCHAR upsilon ENCODING 157 SWIDTH 168 0 DWIDTH 9 0 BBX 7 7 1 0 BITMAP c4 62 62 62 62 64 38 ENDCHAR STARTCHAR Upsilon ENCODING 158 SWIDTH 264 0 DWIDTH 9 0 BBX 8 10 0 -1 BITMAP c3 64 38 18 18 18 18 18 18 3c ENDCHAR STARTCHAR Xi ENCODING 159 SWIDTH 264 0 DWIDTH 9 0 BBX 9 10 1 -1 BITMAP ff80 ff80 8080 0000 1c00 1c00 0000 8080 ff80 ff80 ENDCHAR STARTCHAR space2 ENCODING 160 SWIDTH 264 0 DWIDTH 9 0 BBX 8 1 1 0 BITMAP e7 ENDCHAR STARTCHAR Gamma ENCODING 161 SWIDTH 216 0 DWIDTH 9 0 BBX 7 10 1 -1 BITMAP fe 62 60 60 60 60 60 60 60 f0 ENDCHAR STARTCHAR Delta ENCODING 162 SWIDTH 600 0 DWIDTH 9 0 BBX 9 10 0 -1 BITMAP 0800 0800 1c00 1c00 1600 2600 2300 4300 4180 ff80 ENDCHAR STARTCHAR Theta ENCODING 163 SWIDTH 264 0 DWIDTH 9 0 BBX 9 10 1 -1 BITMAP 3e00 4100 c180 c180 dd80 dd80 c180 c180 4100 3e00 ENDCHAR STARTCHAR Lambda ENCODING 164 SWIDTH 600 0 DWIDTH 9 0 BBX 9 10 0 -1 BITMAP 0800 0800 1c00 1c00 1600 2600 2300 4300 4180 e380 ENDCHAR STARTCHAR Pi ENCODING 165 SWIDTH 264 0 DWIDTH 9 0 BBX 9 10 0 -1 BITMAP ff80 6300 6300 6300 6300 6300 6300 6300 6300 f780 ENDCHAR STARTCHAR Sigma ENCODING 166 SWIDTH 240 0 DWIDTH 9 0 BBX 9 10 1 -1 BITMAP 7f80 3080 1800 0c00 0400 0800 1000 2080 7f80 ff00 ENDCHAR STARTCHAR Phi ENCODING 167 SWIDTH 264 0 DWIDTH 9 0 BBX 10 10 1 -1 BITMAP 1e00 0c00 7f80 ccc0 ccc0 ccc0 ccc0 7f80 0c00 1e00 ENDCHAR STARTCHAR Psi ENCODING 168 SWIDTH 264 0 DWIDTH 9 0 BBX 10 10 1 -1 BITMAP 1e00 8c40 ccc0 ccc0 ccc0 ccc0 7f80 0c00 0c00 1e00 ENDCHAR STARTCHAR Omega ENCODING 169 SWIDTH 264 0 DWIDTH 9 0 BBX 9 10 1 -1 BITMAP 3e00 6300 c180 c180 c180 c180 6300 3600 9480 f780 ENDCHAR STARTCHAR alpha ENCODING 170 SWIDTH 216 0 DWIDTH 9 0 BBX 7 6 0 0 BITMAP 76 9c 8c 88 98 76 ENDCHAR STARTCHAR beta ENCODING 171 SWIDTH 192 0 DWIDTH 9 0 BBX 7 11 1 -3 BITMAP 1c 22 22 4c 42 42 44 98 80 80 00 ENDCHAR STARTCHAR gamma ENCODING 172 SWIDTH 168 0 DWIDTH 9 0 BBX 7 9 1 -3 BITMAP 62 94 08 08 18 18 28 28 10 ENDCHAR STARTCHAR delta ENCODING 173 SWIDTH 144 0 DWIDTH 9 0 BBX 5 10 2 0 BITMAP 38 60 40 30 78 c8 88 90 90 60 ENDCHAR STARTCHAR epsilon ENCODING 174 SWIDTH 144 0 DWIDTH 9 0 BBX 5 8 2 0 BITMAP 30 48 80 60 40 80 88 70 ENDCHAR STARTCHAR zeta ENCODING 175 SWIDTH 144 0 DWIDTH 9 0 BBX 6 13 1 -3 BITMAP 10 1c 20 40 40 80 80 80 c0 70 18 18 00 ENDCHAR STARTCHAR eta ENCODING 176 SWIDTH 168 0 DWIDTH 9 0 BBX 6 9 1 -3 BITMAP dc 64 44 44 88 88 08 10 10 ENDCHAR STARTCHAR theta ENCODING 177 SWIDTH 216 0 DWIDTH 9 0 BBX 7 10 1 0 BITMAP 0c 12 12 12 ce 24 24 48 48 70 ENDCHAR STARTCHAR kappa ENCODING 178 SWIDTH 192 0 DWIDTH 9 0 BBX 7 6 1 0 BITMAP ce 50 70 50 52 8c ENDCHAR STARTCHAR lambda ENCODING 179 SWIDTH 192 0 DWIDTH 9 0 BBX 8 10 0 0 BITMAP 30 18 08 08 18 18 34 64 62 c3 ENDCHAR STARTCHAR mu ENCODING 180 SWIDTH 216 0 DWIDTH 9 0 BBX 7 9 1 -3 BITMAP 22 22 44 44 44 7e 40 80 80 ENDCHAR STARTCHAR nu ENCODING 181 SWIDTH 168 0 DWIDTH 9 0 BBX 6 6 1 0 BITMAP 64 24 28 48 50 e0 ENDCHAR STARTCHAR xi ENCODING 182 SWIDTH 144 0 DWIDTH 9 0 BBX 6 13 1 -3 BITMAP 10 3c 40 40 40 38 40 80 80 f0 08 08 10 ENDCHAR STARTCHAR pi ENCODING 183 SWIDTH 192 0 DWIDTH 9 0 BBX 7 6 1 0 BITMAP 7e a8 28 28 48 48 ENDCHAR STARTCHAR rho ENCODING 184 SWIDTH 168 0 DWIDTH 9 0 BBX 6 9 1 -3 BITMAP 1c 24 44 44 48 70 40 40 80 ENDCHAR STARTCHAR sigma ENCODING 185 SWIDTH 192 0 DWIDTH 9 0 BBX 7 6 1 0 BITMAP 3e 48 88 88 88 70 ENDCHAR STARTCHAR tau ENCODING 186 SWIDTH 144 0 DWIDTH 9 0 BBX 6 6 1 0 BITMAP 7c a0 20 20 20 c0 ENDCHAR STARTCHAR phi ENCODING 187 SWIDTH 216 0 DWIDTH 9 0 BBX 7 9 1 -3 BITMAP 4c 92 92 a2 a4 78 40 40 40 ENDCHAR STARTCHAR chi ENCODING 188 SWIDTH 216 0 DWIDTH 9 0 BBX 8 9 0 -3 BITMAP 61 32 14 18 10 10 30 48 44 ENDCHAR STARTCHAR psi ENCODING 189 SWIDTH 216 0 DWIDTH 9 0 BBX 7 11 1 -3 BITMAP 08 48 ca 4a 52 54 54 38 10 00 00 ENDCHAR STARTCHAR omega ENCODING 190 SWIDTH 216 0 DWIDTH 9 0 BBX 7 6 1 0 BITMAP 42 82 92 a2 a4 78 ENDCHAR STARTCHAR not ENCODING 191 SWIDTH 666 0 DWIDTH 9 0 BBX 6 4 1 0 BITMAP fc 04 04 04 ENDCHAR STARTCHAR and ENCODING 192 SWIDTH 666 0 DWIDTH 9 0 BBX 7 7 1 0 BITMAP 10 28 28 44 44 82 82 ENDCHAR STARTCHAR or ENCODING 193 SWIDTH 666 0 DWIDTH 9 0 BBX 7 7 1 0 BITMAP 82 82 44 44 28 28 10 ENDCHAR STARTCHAR forall ENCODING 194 SWIDTH 666 0 DWIDTH 9 0 BBX 7 11 1 -2 BITMAP 82 82 44 7c 44 28 28 10 10 00 00 ENDCHAR STARTCHAR exists ENCODING 195 SWIDTH 666 0 DWIDTH 9 0 BBX 5 9 2 0 BITMAP f8 08 08 08 f8 08 08 08 f8 ENDCHAR STARTCHAR And ENCODING 196 SWIDTH 600 0 DWIDTH 9 0 BBX 7 12 1 -2 BITMAP 10 10 10 28 28 28 44 44 44 82 82 82 ENDCHAR STARTCHAR lceil ENCODING 197 SWIDTH 600 0 DWIDTH 9 0 BBX 5 12 1 -2 BITMAP f8 80 80 80 80 80 80 80 80 80 80 80 ENDCHAR STARTCHAR rceil ENCODING 198 SWIDTH 600 0 DWIDTH 9 0 BBX 5 12 1 -2 BITMAP f8 08 08 08 08 08 08 08 08 08 08 08 ENDCHAR STARTCHAR lfloor ENCODING 199 SWIDTH 600 0 DWIDTH 9 0 BBX 5 12 1 -2 BITMAP 80 80 80 80 80 80 80 80 80 80 80 f8 ENDCHAR STARTCHAR rfloor ENCODING 200 SWIDTH 600 0 DWIDTH 9 0 BBX 5 12 1 -2 BITMAP 08 08 08 08 08 08 08 08 08 08 08 f8 ENDCHAR STARTCHAR turnstile ENCODING 201 SWIDTH 600 0 DWIDTH 9 0 BBX 8 9 3 0 BITMAP 80 80 80 80 ff 80 80 80 80 ENDCHAR STARTCHAR Turnstile ENCODING 202 SWIDTH 600 0 DWIDTH 9 0 BBX 8 9 3 0 BITMAP 80 80 80 ff 80 ff 80 80 80 ENDCHAR STARTCHAR lbrakk ENCODING 203 SWIDTH 600 0 DWIDTH 9 0 BBX 6 12 1 -2 BITMAP fc a0 a0 a0 a0 a0 a0 a0 a0 a0 a0 fc ENDCHAR STARTCHAR rbrakk ENCODING 204 SWIDTH 600 0 DWIDTH 9 0 BBX 6 12 1 -2 BITMAP fc 14 14 14 14 14 14 14 14 14 14 fc ENDCHAR STARTCHAR cdot ENCODING 205 SWIDTH 600 0 DWIDTH 8 0 BBX 2 2 3 3 BITMAP c0 c0 ENDCHAR STARTCHAR in ENCODING 206 SWIDTH 216 0 DWIDTH 9 0 BBX 6 10 1 -3 BITMAP 3c 40 80 f8 80 40 3c 00 00 00 ENDCHAR STARTCHAR subseteq ENCODING 207 SWIDTH 666 0 DWIDTH 9 0 BBX 6 10 1 -3 BITMAP 7c 80 80 80 7c 00 fc 00 00 00 ENDCHAR STARTCHAR inter ENCODING 208 SWIDTH 666 0 DWIDTH 9 0 BBX 6 7 1 0 BITMAP 78 84 84 84 84 84 84 ENDCHAR STARTCHAR union ENCODING 209 SWIDTH 666 0 DWIDTH 9 0 BBX 6 7 1 0 BITMAP 84 84 84 84 84 84 78 ENDCHAR STARTCHAR Inter ENCODING 210 SWIDTH 600 0 DWIDTH 9 0 BBX 8 10 1 -1 BITMAP 3c 42 81 81 81 81 81 81 81 81 ENDCHAR STARTCHAR Union ENCODING 211 SWIDTH 600 0 DWIDTH 9 0 BBX 8 10 1 -1 BITMAP 81 81 81 81 81 81 81 81 42 3c ENDCHAR STARTCHAR sqinter ENCODING 212 SWIDTH 666 0 DWIDTH 9 0 BBX 6 7 1 0 BITMAP fc 84 84 84 84 84 84 ENDCHAR STARTCHAR squnion ENCODING 213 SWIDTH 666 0 DWIDTH 9 0 BBX 6 7 1 0 BITMAP 84 84 84 84 84 84 fc ENDCHAR STARTCHAR Sqinter ENCODING 214 SWIDTH 600 0 DWIDTH 9 0 BBX 8 10 1 -1 BITMAP ff 81 81 81 81 81 81 81 81 81 ENDCHAR STARTCHAR Squnion ENCODING 215 SWIDTH 600 0 DWIDTH 9 0 BBX 8 10 1 -1 BITMAP 81 81 81 81 81 81 81 81 81 ff ENDCHAR STARTCHAR bottom ENCODING 216 SWIDTH 666 0 DWIDTH 9 0 BBX 7 6 1 0 BITMAP 10 10 10 10 10 fe ENDCHAR STARTCHAR doteq ENCODING 217 SWIDTH 144 0 DWIDTH 9 0 BBX 7 5 1 2 BITMAP 10 00 fe 00 fe ENDCHAR STARTCHAR equiv ENCODING 218 SWIDTH 240 0 DWIDTH 9 0 BBX 6 5 1 1 BITMAP fc 00 fc 00 fc ENDCHAR STARTCHAR noteq ENCODING 219 SWIDTH 666 0 DWIDTH 9 0 BBX 7 7 1 0 BITMAP 08 08 fe 10 fe 20 20 ENDCHAR STARTCHAR sqsubset ENCODING 220 SWIDTH 666 0 DWIDTH 9 0 BBX 6 5 1 2 BITMAP fc 80 80 80 fc ENDCHAR STARTCHAR sqsubseteq ENCODING 221 SWIDTH 666 0 DWIDTH 9 0 BBX 6 7 1 0 BITMAP fc 80 80 80 fc 00 fc ENDCHAR STARTCHAR prec ENCODING 222 SWIDTH 666 0 DWIDTH 9 0 BBX 7 7 1 1 BITMAP 02 04 18 e0 18 04 02 ENDCHAR STARTCHAR preceq ENCODING 223 SWIDTH 666 0 DWIDTH 9 0 BBX 7 9 1 0 BITMAP 02 04 18 e0 18 04 02 00 fe ENDCHAR STARTCHAR succ ENCODING 224 SWIDTH 666 0 DWIDTH 9 0 BBX 7 7 1 1 BITMAP 80 40 30 0e 30 40 80 ENDCHAR STARTCHAR approx ENCODING 225 SWIDTH 240 0 DWIDTH 9 0 BBX 7 6 1 1 BITMAP 60 92 0c 60 92 0c ENDCHAR STARTCHAR sim ENCODING 226 SWIDTH 240 0 DWIDTH 9 0 BBX 7 3 1 2 BITMAP 60 92 0c ENDCHAR STARTCHAR simeq ENCODING 227 SWIDTH 240 0 DWIDTH 9 0 BBX 7 5 1 1 BITMAP 60 92 0c 00 fe ENDCHAR STARTCHAR le ENCODING 228 SWIDTH 666 0 DWIDTH 9 0 BBX 6 8 1 0 BITMAP 0c 30 c0 30 0c 00 00 fc ENDCHAR STARTCHAR Colon ENCODING 229 SWIDTH 600 0 DWIDTH 9 0 BBX 4 7 2 0 BITMAP 90 90 00 00 00 90 90 ENDCHAR STARTCHAR leftarrow ENCODING 230 SWIDTH 666 0 DWIDTH 9 0 BBX 9 5 0 2 BITMAP 3000 6000 ff80 6000 3000 ENDCHAR STARTCHAR midarrow ENCODING 231 SWIDTH 600 0 DWIDTH 9 0 BBX 9 1 0 4 BITMAP ff80 ENDCHAR STARTCHAR rightarrow ENCODING 232 SWIDTH 666 0 DWIDTH 9 0 BBX 9 5 0 2 BITMAP 0600 0300 ff80 0300 0600 ENDCHAR STARTCHAR Leftarrow ENCODING 233 SWIDTH 666 0 DWIDTH 9 0 BBX 9 7 0 0 BITMAP 1800 3000 7f80 c000 7f80 3000 1800 ENDCHAR STARTCHAR Midarrow ENCODING 234 SWIDTH 600 0 DWIDTH 9 0 BBX 9 3 0 2 BITMAP ff80 0000 ff80 ENDCHAR STARTCHAR Rightarrow ENCODING 235 SWIDTH 666 0 DWIDTH 9 0 BBX 9 7 0 0 BITMAP 0c00 0600 ff00 0180 ff00 0600 0c00 ENDCHAR STARTCHAR bow ENCODING 236 SWIDTH 666 0 DWIDTH 9 0 BBX 8 3 0 4 BITMAP 3c 42 81 ENDCHAR STARTCHAR mapsto ENCODING 237 SWIDTH 666 0 DWIDTH 9 0 BBX 8 5 1 2 BITMAP 84 82 ff 82 84 ENDCHAR STARTCHAR leadsto ENCODING 238 SWIDTH 666 0 DWIDTH 9 0 BBX 8 5 0 2 BITMAP 04 62 93 0e 04 ENDCHAR STARTCHAR up ENCODING 239 SWIDTH 144 0 DWIDTH 9 0 BBX 5 9 2 0 BITMAP 20 70 a8 20 20 20 20 20 20 ENDCHAR STARTCHAR down ENCODING 240 SWIDTH 144 0 DWIDTH 9 0 BBX 5 9 2 0 BITMAP 20 20 20 20 20 20 a8 70 20 ENDCHAR STARTCHAR notin ENCODING 241 SWIDTH 216 0 DWIDTH 9 0 BBX 6 11 1 -3 BITMAP 08 3c 48 90 f8 90 60 3c 20 00 00 ENDCHAR STARTCHAR times ENCODING 242 SWIDTH 666 0 DWIDTH 9 0 BBX 6 6 1 1 BITMAP 84 48 30 30 48 84 ENDCHAR STARTCHAR oplus ENCODING 243 SWIDTH 240 0 DWIDTH 9 0 BBX 9 9 0 0 BITMAP 1c00 2200 4900 8880 be80 8880 4900 2200 1c00 ENDCHAR STARTCHAR ominus ENCODING 244 SWIDTH 240 0 DWIDTH 9 0 BBX 9 9 0 0 BITMAP 1c00 2200 4100 8080 be80 8080 4100 2200 1c00 ENDCHAR STARTCHAR otimes ENCODING 245 SWIDTH 666 0 DWIDTH 9 0 BBX 9 9 0 0 BITMAP 1c00 2200 6300 9480 8880 9480 6300 2200 1c00 ENDCHAR STARTCHAR oslash ENCODING 246 SWIDTH 666 0 DWIDTH 9 0 BBX 9 9 0 0 BITMAP 1c00 2200 4300 8480 8880 9080 6100 2200 1c00 ENDCHAR STARTCHAR subset ENCODING 247 SWIDTH 666 0 DWIDTH 9 0 BBX 6 10 1 -3 BITMAP 7c 80 80 80 7c 00 00 00 00 00 ENDCHAR STARTCHAR infinity ENCODING 248 SWIDTH 666 0 DWIDTH 9 0 BBX 9 5 1 2 BITMAP 7700 8c80 8880 9880 7700 ENDCHAR STARTCHAR box ENCODING 249 SWIDTH 600 0 DWIDTH 9 0 BBX 8 8 1 0 BITMAP ff 81 81 81 81 81 81 ff ENDCHAR STARTCHAR diamond ENCODING 250 SWIDTH 600 0 DWIDTH 9 0 BBX 9 9 1 0 BITMAP 0800 1400 2200 4100 8080 4100 2200 1400 0800 ENDCHAR STARTCHAR circ ENCODING 251 SWIDTH 666 0 DWIDTH 9 0 BBX 5 5 2 2 BITMAP 70 88 88 88 70 ENDCHAR STARTCHAR bullet ENCODING 252 SWIDTH 666 0 DWIDTH 9 0 BBX 5 5 2 2 BITMAP 70 f8 f8 f8 70 ENDCHAR STARTCHAR parallel ENCODING 253 SWIDTH 666 0 DWIDTH 9 0 BBX 6 12 1 -2 BITMAP 14 14 14 14 14 14 14 14 14 14 14 14 ENDCHAR STARTCHAR surd ENCODING 254 SWIDTH 0 0 DWIDTH 9 0 BBX 7 8 1 0 BITMAP 06 04 04 c8 48 50 30 20 ENDCHAR STARTCHAR copyright ENCODING 255 SWIDTH 666 0 DWIDTH 9 0 BBX 9 9 0 0 BITMAP 1c00 2200 5d00 a080 a080 a080 5d00 2200 1c00 ENDCHAR ENDFONT