STARTFONT 2.1 FONT -isabelle-fixed-bold-r-normal--24-240-75-75-m-150-isabelle-0 SIZE 24 75 75 FONTBOUNDINGBOX 16 22 6 -5 STARTPROPERTIES 22 FONTNAME_REGISTRY "" FOUNDRY "Isabelle" FAMILY_NAME "Fixed" WEIGHT_NAME "Bold" SLANT "R" SETWIDTH_NAME "Normal" ADD_STYLE_NAME "" PIXEL_SIZE 24 POINT_SIZE 240 RESOLUTION_X 75 RESOLUTION_Y 75 SPACING "M" AVERAGE_WIDTH 150 CHARSET_REGISTRY "Isabelle" CHARSET_ENCODING "0" CHARSET_COLLECTIONS "" FULL_NAME "Fixed Bold" COPYRIGHT "Public" FONT_ASCENT 17 FONT_DESCENT 5 CAP_HEIGHT 15 X_HEIGHT 11 ENDPROPERTIES CHARS 206 STARTCHAR space ENCODING 32 SWIDTH 600 0 DWIDTH 15 0 BBX 1 1 0 0 BITMAP 00 ENDCHAR STARTCHAR exclam ENCODING 33 SWIDTH 600 0 DWIDTH 15 0 BBX 4 16 5 0 BITMAP 60 f0 f0 f0 f0 f0 f0 f0 60 60 60 60 00 00 60 60 ENDCHAR STARTCHAR quotedbl ENCODING 34 SWIDTH 600 0 DWIDTH 15 0 BBX 8 7 3 8 BITMAP e7 e7 e7 e7 c6 84 84 ENDCHAR STARTCHAR numbersign ENCODING 35 SWIDTH 600 0 DWIDTH 15 0 BBX 12 19 1 -2 BITMAP 0cc0 0cc0 0cc0 0cc0 0cc0 0cc0 7ff0 7ff0 1980 1980 1980 ffe0 ffe0 3300 3300 3300 3300 3300 3300 ENDCHAR STARTCHAR dollar ENCODING 36 SWIDTH 600 0 DWIDTH 15 0 BBX 10 20 2 -3 BITMAP 0c00 0c00 3d80 7f80 c380 c180 c000 e000 7e00 1f80 01c0 00c0 c0c0 e1c0 ff80 df00 0c00 0c00 0c00 0c00 ENDCHAR STARTCHAR percent ENCODING 37 SWIDTH 600 0 DWIDTH 15 0 BBX 10 15 2 0 BITMAP 3c00 6600 4200 4200 6600 3c00 01c0 0f00 3800 e780 0cc0 0840 0840 0cc0 0780 ENDCHAR STARTCHAR ampersand ENCODING 38 SWIDTH 600 0 DWIDTH 15 0 BBX 11 14 2 0 BITMAP 1e00 3f00 6300 6000 6000 3000 3800 7cc0 6fc0 c780 c300 c780 ffe0 7ce0 ENDCHAR STARTCHAR quoteright ENCODING 39 SWIDTH 600 0 DWIDTH 15 0 BBX 5 6 4 9 BITMAP 38 38 70 60 c0 80 ENDCHAR STARTCHAR parenleft ENCODING 40 SWIDTH 600 0 DWIDTH 15 0 BBX 5 20 6 -4 BITMAP 18 38 30 60 60 60 c0 c0 c0 c0 c0 c0 c0 c0 60 60 60 30 38 18 ENDCHAR STARTCHAR parenright ENCODING 41 SWIDTH 600 0 DWIDTH 15 0 BBX 5 20 3 -4 BITMAP c0 e0 60 30 30 30 18 18 18 18 18 18 18 18 30 30 30 60 e0 c0 ENDCHAR STARTCHAR asterisk ENCODING 42 SWIDTH 600 0 DWIDTH 15 0 BBX 10 11 2 5 BITMAP 0c00 0c00 0c00 ccc0 edc0 3f00 0c00 1e00 3300 7380 6180 ENDCHAR STARTCHAR plus ENCODING 43 SWIDTH 600 0 DWIDTH 15 0 BBX 12 14 1 0 BITMAP 0600 0600 0600 0600 0600 0600 fff0 fff0 0600 0600 0600 0600 0600 0600 ENDCHAR STARTCHAR comma ENCODING 44 SWIDTH 600 0 DWIDTH 15 0 BBX 5 6 4 -3 BITMAP 38 38 70 60 c0 80 ENDCHAR STARTCHAR minus ENCODING 45 SWIDTH 600 0 DWIDTH 15 0 BBX 12 2 1 6 BITMAP fff0 fff0 ENDCHAR STARTCHAR period ENCODING 46 SWIDTH 600 0 DWIDTH 15 0 BBX 3 3 5 0 BITMAP e0 e0 e0 ENDCHAR STARTCHAR slash ENCODING 47 SWIDTH 600 0 DWIDTH 15 0 BBX 11 20 2 -3 BITMAP 0060 0060 00c0 00c0 0180 0180 0300 0300 0600 0600 0c00 0c00 1800 1800 3000 3000 6000 6000 c000 c000 ENDCHAR STARTCHAR zero ENCODING 48 SWIDTH 600 0 DWIDTH 15 0 BBX 10 16 2 0 BITMAP 1e00 7f80 6180 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 6180 7f80 1e00 ENDCHAR STARTCHAR one ENCODING 49 SWIDTH 600 0 DWIDTH 15 0 BBX 10 16 2 0 BITMAP 1c00 fc00 fc00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 ffc0 ffc0 ENDCHAR STARTCHAR two ENCODING 50 SWIDTH 600 0 DWIDTH 15 0 BBX 11 16 1 0 BITMAP 1f80 3fc0 70e0 6060 6060 0060 00e0 01c0 0380 0700 0e00 1c00 3800 7000 ffe0 ffe0 ENDCHAR STARTCHAR three ENCODING 51 SWIDTH 600 0 DWIDTH 15 0 BBX 11 16 1 0 BITMAP 1f80 3fc0 70e0 6060 0060 00e0 01c0 0f80 0fc0 00e0 0060 0060 c060 e0e0 7fc0 3f80 ENDCHAR STARTCHAR four ENCODING 52 SWIDTH 600 0 DWIDTH 15 0 BBX 11 16 1 0 BITMAP 0380 0780 0f80 0d80 1980 1980 3180 3180 6180 6180 ffe0 ffe0 0180 0180 0fe0 0fe0 ENDCHAR STARTCHAR five ENCODING 53 SWIDTH 600 0 DWIDTH 15 0 BBX 11 16 2 0 BITMAP 7fc0 7fc0 6000 6000 6000 6f00 7fc0 71c0 00e0 0060 0060 0060 c0e0 e1c0 7fc0 3f00 ENDCHAR STARTCHAR six ENCODING 54 SWIDTH 600 0 DWIDTH 15 0 BBX 10 16 3 0 BITMAP 07c0 1fc0 3c00 7000 6000 e000 cf00 df80 f1c0 e0c0 c0c0 c0c0 e0c0 71c0 7f80 1f00 ENDCHAR STARTCHAR seven ENCODING 55 SWIDTH 600 0 DWIDTH 15 0 BBX 10 16 2 0 BITMAP ffc0 ffc0 c0c0 00c0 0180 0180 0180 0300 0300 0300 0600 0600 0600 0c00 0c00 0c00 ENDCHAR STARTCHAR eight ENCODING 56 SWIDTH 600 0 DWIDTH 15 0 BBX 10 16 2 0 BITMAP 1e00 7f80 e1c0 c0c0 c0c0 c0c0 6180 3f00 7f80 e1c0 c0c0 c0c0 c0c0 e1c0 7f80 3f00 ENDCHAR STARTCHAR nine ENCODING 57 SWIDTH 600 0 DWIDTH 15 0 BBX 10 16 3 0 BITMAP 1e00 7f80 6180 c0c0 c0c0 c0c0 c0c0 c1c0 e3c0 7ec0 3cc0 00c0 0180 0380 ff00 fc00 ENDCHAR STARTCHAR colon ENCODING 58 SWIDTH 600 0 DWIDTH 15 0 BBX 3 11 5 0 BITMAP e0 e0 e0 00 00 00 00 00 e0 e0 e0 ENDCHAR STARTCHAR semicolon ENCODING 59 SWIDTH 600 0 DWIDTH 15 0 BBX 5 14 3 -3 BITMAP 38 38 38 00 00 00 00 00 38 38 70 60 c0 80 ENDCHAR STARTCHAR less ENCODING 60 SWIDTH 600 0 DWIDTH 15 0 BBX 13 12 1 1 BITMAP 0038 00f0 03c0 0f00 3c00 f000 f000 3c00 0f00 03c0 00f0 0038 ENDCHAR STARTCHAR equal ENCODING 61 SWIDTH 600 0 DWIDTH 15 0 BBX 12 6 1 4 BITMAP fff0 fff0 0000 0000 fff0 fff0 ENDCHAR STARTCHAR greater ENCODING 62 SWIDTH 600 0 DWIDTH 15 0 BBX 13 12 1 1 BITMAP e000 7800 1e00 0780 01e0 0078 0078 01e0 0780 1e00 7800 e000 ENDCHAR STARTCHAR question ENCODING 63 SWIDTH 600 0 DWIDTH 15 0 BBX 9 15 3 0 BITMAP 7e00 ff00 c380 c180 c180 0180 0380 0f00 1c00 1800 1800 0000 0000 1800 1800 ENDCHAR STARTCHAR at ENCODING 64 SWIDTH 600 0 DWIDTH 15 0 BBX 10 18 2 -2 BITMAP 1c00 7f00 6300 c180 c180 c780 cf80 dd80 d980 d980 dd80 cfc0 c7c0 c000 c000 6180 7f80 1e00 ENDCHAR STARTCHAR A ENCODING 65 SWIDTH 600 0 DWIDTH 15 0 BBX 14 15 0 0 BITMAP 3f00 3f80 0780 0780 0cc0 0cc0 1ce0 1860 1860 3ff0 3ff0 7038 6018 fcfc fcfc ENDCHAR STARTCHAR B ENCODING 66 SWIDTH 600 0 DWIDTH 15 0 BBX 13 15 1 0 BITMAP ffc0 ffe0 3070 3030 3030 3070 3fe0 3ff0 3038 3018 3018 3018 3038 fff0 ffe0 ENDCHAR STARTCHAR C ENCODING 67 SWIDTH 600 0 DWIDTH 15 0 BBX 13 15 1 0 BITMAP 0fd8 3ff8 7038 6018 e018 c000 c000 c000 c000 c000 e000 6018 7038 3ff0 0fc0 ENDCHAR STARTCHAR D ENCODING 68 SWIDTH 600 0 DWIDTH 15 0 BBX 14 15 0 0 BITMAP ffc0 fff0 3038 3018 301c 300c 300c 300c 300c 300c 300c 3018 3038 fff0 ffe0 ENDCHAR STARTCHAR E ENCODING 69 SWIDTH 600 0 DWIDTH 15 0 BBX 13 15 1 0 BITMAP fff0 fff0 3030 3030 3030 3180 3180 3f80 3f80 3180 3198 3018 3018 fff8 fff8 ENDCHAR STARTCHAR F ENCODING 70 SWIDTH 600 0 DWIDTH 15 0 BBX 13 15 1 0 BITMAP fff8 fff8 3018 3018 3018 3180 3180 3f80 3f80 3180 3180 3000 3000 ff00 ff00 ENDCHAR STARTCHAR G ENCODING 71 SWIDTH 600 0 DWIDTH 15 0 BBX 13 15 1 0 BITMAP 0fd8 3ff8 7038 6018 e018 c000 c000 c000 c1f8 c1f8 e018 6018 7038 3ff0 0fc0 ENDCHAR STARTCHAR H ENCODING 72 SWIDTH 600 0 DWIDTH 15 0 BBX 14 15 0 0 BITMAP fcfc fcfc 3030 3030 3030 3030 3ff0 3ff0 3030 3030 3030 3030 3030 fcfc fcfc ENDCHAR STARTCHAR I ENCODING 73 SWIDTH 600 0 DWIDTH 15 0 BBX 10 15 2 0 BITMAP ffc0 ffc0 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 ffc0 ffc0 ENDCHAR STARTCHAR J ENCODING 74 SWIDTH 600 0 DWIDTH 15 0 BBX 13 15 1 0 BITMAP 1ff8 1ff8 00c0 00c0 00c0 00c0 00c0 00c0 00c0 c0c0 c0c0 c0c0 e1c0 7f80 3f00 ENDCHAR STARTCHAR K ENCODING 75 SWIDTH 600 0 DWIDTH 15 0 BBX 14 15 0 0 BITMAP fcf8 fcf8 30e0 31c0 3380 3700 3e00 3f00 3b80 31c0 30e0 3060 3070 fc3c fc3c ENDCHAR STARTCHAR L ENCODING 76 SWIDTH 600 0 DWIDTH 15 0 BBX 12 15 1 0 BITMAP ff00 ff00 1800 1800 1800 1800 1800 1800 1800 1800 1830 1830 1830 fff0 fff0 ENDCHAR STARTCHAR M ENCODING 77 SWIDTH 600 0 DWIDTH 15 0 BBX 14 15 0 0 BITMAP f03c f03c 7878 7878 7878 6cd8 6cd8 6798 6798 6318 6018 6018 6018 f87c f87c ENDCHAR STARTCHAR N ENCODING 78 SWIDTH 600 0 DWIDTH 15 0 BBX 13 15 1 0 BITMAP f0f8 f0f8 7830 7830 6c30 6c30 6630 6630 6330 6330 61b0 61b0 60f0 f8f0 f870 ENDCHAR STARTCHAR O ENCODING 79 SWIDTH 600 0 DWIDTH 15 0 BBX 13 15 1 0 BITMAP 0f80 3fe0 7070 6030 e038 c018 c018 c018 c018 c018 e038 6030 7070 3fe0 0f80 ENDCHAR STARTCHAR P ENCODING 80 SWIDTH 600 0 DWIDTH 15 0 BBX 13 15 1 0 BITMAP ffc0 fff0 3038 3018 3018 3018 3018 3038 3ff0 3fc0 3000 3000 3000 ff00 ff00 ENDCHAR STARTCHAR Q ENCODING 81 SWIDTH 600 0 DWIDTH 15 0 BBX 13 18 1 -3 BITMAP 0f80 3fe0 7070 6030 e038 c018 c018 c018 c018 c018 e038 6030 7070 3fe0 0f80 1e18 3ff8 39e0 ENDCHAR STARTCHAR R ENCODING 82 SWIDTH 600 0 DWIDTH 15 0 BBX 14 15 0 0 BITMAP ff80 ffe0 3070 3030 3030 3030 3070 3fe0 3f80 31c0 30e0 3060 3070 fc3c fc3c ENDCHAR STARTCHAR S ENCODING 83 SWIDTH 600 0 DWIDTH 15 0 BBX 12 15 1 0 BITMAP 1fb0 3ff0 7070 6030 6030 7000 3e00 1fc0 03e0 0070 c030 c030 e070 ffe0 dfc0 ENDCHAR STARTCHAR T ENCODING 84 SWIDTH 600 0 DWIDTH 15 0 BBX 12 15 1 0 BITMAP fff0 fff0 c630 c630 c630 c630 0600 0600 0600 0600 0600 0600 0600 3fc0 3fc0 ENDCHAR STARTCHAR U ENCODING 85 SWIDTH 600 0 DWIDTH 15 0 BBX 13 15 1 0 BITMAP f8f8 f8f8 6030 6030 6030 6030 6030 6030 6030 6030 6030 6030 3060 3fe0 1fc0 ENDCHAR STARTCHAR V ENCODING 86 SWIDTH 600 0 DWIDTH 15 0 BBX 14 15 0 0 BITMAP f87c f87c 6018 6018 3030 3030 3030 1860 1860 1860 0cc0 0cc0 0780 0780 0780 ENDCHAR STARTCHAR W ENCODING 87 SWIDTH 600 0 DWIDTH 15 0 BBX 14 15 0 0 BITMAP f87c f87c 6018 6318 6318 6798 6798 6fd8 6cd8 6cd8 3cf0 3870 3870 3870 3870 ENDCHAR STARTCHAR X ENCODING 88 SWIDTH 600 0 DWIDTH 15 0 BBX 14 15 0 0 BITMAP fcfc fcfc 7038 3870 1ce0 0fc0 0780 0300 0780 0cc0 1ce0 3870 7038 fcfc fcfc ENDCHAR STARTCHAR Y ENCODING 89 SWIDTH 600 0 DWIDTH 15 0 BBX 14 15 0 0 BITMAP fcfc fcfc 7038 3870 1860 0cc0 0fc0 0780 0300 0300 0300 0300 0300 1fe0 1fe0 ENDCHAR STARTCHAR Z ENCODING 90 SWIDTH 600 0 DWIDTH 15 0 BBX 11 15 2 0 BITMAP ffe0 ffe0 c0e0 c1c0 c380 0300 0700 0e00 1c00 1800 3860 7060 e060 ffe0 ffe0 ENDCHAR STARTCHAR bracketleft ENCODING 91 SWIDTH 600 0 DWIDTH 15 0 BBX 5 20 6 -4 BITMAP f8 f8 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 f8 f8 ENDCHAR STARTCHAR backslash ENCODING 92 SWIDTH 600 0 DWIDTH 15 0 BBX 11 20 2 -3 BITMAP c000 c000 6000 6000 3000 3000 1800 1800 0c00 0c00 0600 0600 0300 0300 0180 0180 00c0 00c0 0060 0060 ENDCHAR STARTCHAR bracketright ENCODING 93 SWIDTH 600 0 DWIDTH 15 0 BBX 5 20 3 -4 BITMAP f8 f8 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 f8 f8 ENDCHAR STARTCHAR asciicircum ENCODING 94 SWIDTH 600 0 DWIDTH 15 0 BBX 8 8 3 8 BITMAP 18 18 3c 3c 66 66 c3 c3 ENDCHAR STARTCHAR underscore ENCODING 95 SWIDTH 600 0 DWIDTH 15 0 BBX 15 2 0 -4 BITMAP fffe fffe ENDCHAR STARTCHAR quoteleft ENCODING 96 SWIDTH 600 0 DWIDTH 15 0 BBX 5 6 5 9 BITMAP e0 e0 70 30 18 08 ENDCHAR STARTCHAR a ENCODING 97 SWIDTH 600 0 DWIDTH 15 0 BBX 12 11 1 0 BITMAP 3f00 7f80 61c0 00c0 1fc0 7fc0 e0c0 c0c0 c1c0 fff0 7ef0 ENDCHAR STARTCHAR b ENCODING 98 SWIDTH 600 0 DWIDTH 15 0 BBX 13 16 0 0 BITMAP f000 f000 3000 3000 3000 37c0 3ff0 3c70 3838 3018 3018 3018 3838 3c70 fff0 f7c0 ENDCHAR STARTCHAR c ENCODING 99 SWIDTH 600 0 DWIDTH 15 0 BBX 13 11 1 0 BITMAP 1fb0 7ff0 70f0 e070 c030 c000 c000 e000 7038 7ff8 1fe0 ENDCHAR STARTCHAR d ENCODING 100 SWIDTH 600 0 DWIDTH 15 0 BBX 13 16 1 0 BITMAP 01e0 01e0 0060 0060 0060 1f60 7fe0 71e0 e0e0 c060 c060 c060 e0e0 71e0 7ff8 1f78 ENDCHAR STARTCHAR e ENCODING 101 SWIDTH 600 0 DWIDTH 15 0 BBX 12 11 1 0 BITMAP 1f80 7fe0 70e0 e070 c030 fff0 fff0 e000 7070 7ff0 1fc0 ENDCHAR STARTCHAR f ENCODING 102 SWIDTH 600 0 DWIDTH 15 0 BBX 11 16 2 0 BITMAP 07e0 0fe0 1c00 1800 1800 ffc0 ffc0 1800 1800 1800 1800 1800 1800 1800 ffc0 ffc0 ENDCHAR STARTCHAR g ENCODING 103 SWIDTH 600 0 DWIDTH 15 0 BBX 13 16 1 -5 BITMAP 1f78 7ff8 71e0 e0e0 c060 c060 c060 e0e0 71e0 7fe0 1f60 0060 0060 00e0 3fc0 3f80 ENDCHAR STARTCHAR h ENCODING 104 SWIDTH 600 0 DWIDTH 15 0 BBX 14 16 0 0 BITMAP f000 f000 3000 3000 3000 37c0 3fe0 3c70 3830 3030 3030 3030 3030 3030 fcfc fcfc ENDCHAR STARTCHAR i ENCODING 105 SWIDTH 600 0 DWIDTH 15 0 BBX 10 16 2 0 BITMAP 1c00 1c00 1c00 0000 0000 7c00 7c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 ffc0 ffc0 ENDCHAR STARTCHAR j ENCODING 106 SWIDTH 600 0 DWIDTH 15 0 BBX 8 21 2 -5 BITMAP 0e 0e 0e 00 00 ff ff 03 03 03 03 03 03 03 03 03 03 03 07 fe fc ENDCHAR STARTCHAR k ENCODING 107 SWIDTH 600 0 DWIDTH 15 0 BBX 13 16 1 0 BITMAP f000 f000 3000 3000 3000 31e0 31e0 3380 3700 3e00 3e00 3700 3380 31c0 f1f8 f1f8 ENDCHAR STARTCHAR l ENCODING 108 SWIDTH 600 0 DWIDTH 15 0 BBX 10 16 2 0 BITMAP 7c00 7c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 0c00 ffc0 ffc0 ENDCHAR STARTCHAR m ENCODING 109 SWIDTH 600 0 DWIDTH 15 0 BBX 16 11 0 0 BITMAP ef78 fffc 39cc 318c 318c 318c 318c 318c 318c f9ef f9ef ENDCHAR STARTCHAR n ENCODING 110 SWIDTH 600 0 DWIDTH 15 0 BBX 14 11 0 0 BITMAP f3c0 f7e0 3c70 3830 3030 3030 3030 3030 3030 fcfc fcfc ENDCHAR STARTCHAR o ENCODING 111 SWIDTH 600 0 DWIDTH 15 0 BBX 12 11 1 0 BITMAP 1f80 7fe0 70e0 e070 c030 c030 c030 e070 70e0 7fe0 1f80 ENDCHAR STARTCHAR p ENCODING 112 SWIDTH 600 0 DWIDTH 15 0 BBX 13 16 0 -5 BITMAP f7c0 fff0 3c70 3838 3018 3018 3018 3838 3c70 3ff0 37c0 3000 3000 3000 fe00 fe00 ENDCHAR STARTCHAR q ENCODING 113 SWIDTH 600 0 DWIDTH 15 0 BBX 13 16 1 -5 BITMAP 1f78 7ff8 71e0 e0e0 c060 c060 c060 e0e0 71e0 7fe0 1f60 0060 0060 0060 03f8 03f8 ENDCHAR STARTCHAR r ENCODING 114 SWIDTH 600 0 DWIDTH 15 0 BBX 12 11 1 0 BITMAP 79e0 7ff0 1e30 1c00 1800 1800 1800 1800 1800 ffc0 ffc0 ENDCHAR STARTCHAR s ENCODING 115 SWIDTH 600 0 DWIDTH 15 0 BBX 11 11 2 0 BITMAP 3ec0 7fc0 e1c0 e0c0 7c00 1f00 07c0 c0e0 e0e0 ffc0 df80 ENDCHAR STARTCHAR t ENCODING 116 SWIDTH 600 0 DWIDTH 15 0 BBX 11 15 1 0 BITMAP 3000 3000 3000 3000 ffc0 ffc0 3000 3000 3000 3000 3000 3000 38e0 1fe0 0f80 ENDCHAR STARTCHAR u ENCODING 117 SWIDTH 600 0 DWIDTH 15 0 BBX 14 11 0 0 BITMAP f0f0 f0f0 3030 3030 3030 3030 3030 3030 3870 1ffc 0fbc ENDCHAR STARTCHAR v ENCODING 118 SWIDTH 600 0 DWIDTH 15 0 BBX 14 11 0 0 BITMAP fcfc fcfc 3030 3030 1860 1860 0cc0 0cc0 0780 0780 0300 ENDCHAR STARTCHAR w ENCODING 119 SWIDTH 600 0 DWIDTH 15 0 BBX 14 11 0 0 BITMAP f87c f87c 6318 6318 3330 37b0 37b0 3cf0 1ce0 1860 1860 ENDCHAR STARTCHAR x ENCODING 120 SWIDTH 600 0 DWIDTH 15 0 BBX 12 11 1 0 BITMAP f9f0 f9f0 30c0 1980 0f00 0600 0f00 1980 30c0 f9f0 f9f0 ENDCHAR STARTCHAR y ENCODING 121 SWIDTH 600 0 DWIDTH 15 0 BBX 14 16 0 -5 BITMAP f87c f87c 3030 3870 1860 1ce0 0cc0 0dc0 0780 0780 0300 0700 0600 0e00 7f00 7f00 ENDCHAR STARTCHAR z ENCODING 122 SWIDTH 600 0 DWIDTH 15 0 BBX 10 11 2 0 BITMAP ffc0 ffc0 c380 c700 0e00 1c00 3800 70c0 e0c0 ffc0 ffc0 ENDCHAR STARTCHAR braceleft ENCODING 123 SWIDTH 600 0 DWIDTH 15 0 BBX 7 20 4 -4 BITMAP 0e 18 30 30 30 30 30 30 70 e0 70 30 30 30 30 30 30 30 18 0e ENDCHAR STARTCHAR bar ENCODING 124 SWIDTH 600 0 DWIDTH 15 0 BBX 2 18 6 -2 BITMAP c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 ENDCHAR STARTCHAR braceright ENCODING 125 SWIDTH 600 0 DWIDTH 15 0 BBX 7 20 3 -4 BITMAP e0 30 18 18 18 18 18 18 1c 0e 1c 18 18 18 18 18 18 18 30 e0 ENDCHAR STARTCHAR asciitilde ENCODING 126 SWIDTH 600 0 DWIDTH 15 0 BBX 12 4 1 5 BITMAP 3c30 7e70 e7e0 c3c0 ENDCHAR STARTCHAR lless ENCODING 145 SWIDTH 600 0 DWIDTH 15 0 BBX 8 16 4 -1 BITMAP 01 03 06 0c 19 33 66 cc cc 66 33 19 0c 06 03 01 ENDCHAR STARTCHAR unlhd ENCODING 146 SWIDTH 600 0 DWIDTH 15 0 BBX 11 14 1 -2 BITMAP 0060 01e0 07e0 1e60 7860 e060 e060 7860 1e60 07e0 01e0 0060 0000 ffe0 ENDCHAR STARTCHAR lhd ENCODING 147 SWIDTH 600 0 DWIDTH 15 0 BBX 11 12 1 0 BITMAP 0060 01e0 07e0 1e60 7860 e060 e060 7860 1e60 07e0 01e0 0060 ENDCHAR STARTCHAR rhd ENCODING 148 SWIDTH 600 0 DWIDTH 15 0 BBX 11 12 1 0 BITMAP c000 f000 bc00 8f00 83c0 80e0 80e0 83c0 8f00 bc00 f000 c000 ENDCHAR STARTCHAR tturnstile ENCODING 149 SWIDTH 600 0 DWIDTH 15 0 BBX 11 14 1 0 BITMAP d800 d800 d800 d800 d800 d800 ffe0 ffe0 d800 d800 d800 d800 d800 d800 ENDCHAR STARTCHAR langle ENCODING 150 SWIDTH 600 0 DWIDTH 15 0 BBX 5 20 4 -4 BITMAP 18 18 30 30 30 60 60 60 c0 c0 c0 60 60 60 30 30 30 18 18 18 ENDCHAR STARTCHAR rangle ENCODING 151 SWIDTH 600 0 DWIDTH 15 0 BBX 5 20 3 -4 BITMAP c0 c0 60 60 60 30 30 30 18 18 18 30 30 30 60 60 60 c0 c0 c0 ENDCHAR STARTCHAR choice ENCODING 152 SWIDTH 600 0 DWIDTH 15 0 BBX 6 15 4 -1 BITMAP fc cc cc cc cc cc cc cc cc cc cc cc cc cc fc ENDCHAR STARTCHAR top ENCODING 153 SWIDTH 600 0 DWIDTH 15 0 BBX 12 10 1 2 BITMAP fff0 fff0 0600 0600 0600 0600 0600 0600 0600 0600 ENDCHAR STARTCHAR Or ENCODING 154 SWIDTH 600 0 DWIDTH 15 0 BBX 12 15 1 -1 BITMAP c030 4020 6060 6060 2040 30c0 30c0 1080 1980 1980 0900 0f00 0f00 0600 0600 ENDCHAR STARTCHAR ocdot ENCODING 155 SWIDTH 600 0 DWIDTH 15 0 BBX 14 14 1 0 BITMAP 0780 1fe0 3030 6018 4008 c00c c30c c30c c00c 4008 6018 3030 1fe0 0780 ENDCHAR STARTCHAR iota ENCODING 156 SWIDTH 600 0 DWIDTH 15 0 BBX 3 8 1 0 BITMAP e0 60 60 60 c0 c0 c0 e0 ENDCHAR STARTCHAR upsilon ENCODING 157 SWIDTH 600 0 DWIDTH 15 0 BBX 9 8 1 0 BITMAP 6300 f180 3180 3180 6100 6300 6200 3c00 ENDCHAR STARTCHAR Upsilon ENCODING 158 SWIDTH 600 0 DWIDTH 15 0 BBX 10 15 1 0 BITMAP e0c0 3100 1a00 0e00 0600 0600 0600 0600 0600 0600 0600 0600 0600 0600 0f00 ENDCHAR STARTCHAR Xi ENCODING 159 SWIDTH 600 0 DWIDTH 15 0 BBX 12 15 1 0 BITMAP fff0 fff0 c030 0000 0000 1080 1f80 1f80 1080 0000 0000 0000 c030 fff0 fff0 ENDCHAR STARTCHAR space2 ENCODING 160 SWIDTH 600 0 DWIDTH 15 0 BBX 10 1 1 0 BITMAP f3c0 ENDCHAR STARTCHAR Gamma ENCODING 161 SWIDTH 600 0 DWIDTH 15 0 BBX 10 15 1 0 BITMAP ffc0 6040 6000 6000 6000 6000 6000 6000 6000 6000 6000 6000 6000 6000 f800 ENDCHAR STARTCHAR Delta ENCODING 162 SWIDTH 600 0 DWIDTH 15 0 BBX 12 15 1 0 BITMAP 0600 0600 0e00 0f00 1f00 1b00 1380 3180 3180 21c0 60c0 60c0 c0e0 c060 fff0 ENDCHAR STARTCHAR Theta ENCODING 163 SWIDTH 600 0 DWIDTH 15 0 BBX 12 15 1 0 BITMAP 1f80 3fc0 6060 c030 c030 d0b0 dfb0 dfb0 d0b0 c030 c030 c030 6060 3fc0 1f80 ENDCHAR STARTCHAR Lambda ENCODING 164 SWIDTH 600 0 DWIDTH 15 0 BBX 12 15 1 0 BITMAP 0600 0600 0e00 0f00 1f00 1b00 1380 3180 3180 21c0 60c0 60c0 c0e0 c060 e0f0 ENDCHAR STARTCHAR Pi ENCODING 165 SWIDTH 600 0 DWIDTH 15 0 BBX 13 15 1 0 BITMAP fff8 3060 3060 3060 3060 3060 3060 3060 3060 3060 3060 3060 3060 3060 78f0 ENDCHAR STARTCHAR Sigma ENCODING 166 SWIDTH 600 0 DWIDTH 15 0 BBX 13 15 1 0 BITMAP fff8 e008 7000 3800 1c00 0e00 0700 0300 0600 0c00 1800 3000 6008 fff0 ffe0 ENDCHAR STARTCHAR Phi ENCODING 167 SWIDTH 600 0 DWIDTH 15 0 BBX 12 14 1 0 BITMAP 0f00 0600 0600 1f80 76e0 6660 c630 8610 c630 6660 76e0 1f80 0600 0f00 ENDCHAR STARTCHAR Psi ENCODING 168 SWIDTH 600 0 DWIDTH 15 0 BBX 12 14 1 0 BITMAP 0f00 0600 0600 c630 6660 6660 6660 6660 6660 36c0 1f80 0f00 0600 0f00 ENDCHAR STARTCHAR Omega ENCODING 169 SWIDTH 600 0 DWIDTH 15 0 BBX 12 14 1 0 BITMAP 0f00 3fc0 70e0 6060 c030 c030 c030 c030 6060 6060 30c0 1980 f9f0 f9f0 ENDCHAR STARTCHAR alpha ENCODING 170 SWIDTH 600 0 DWIDTH 15 0 BBX 13 10 1 0 BITMAP 1f18 3f98 71b0 61f0 e0e0 c0c0 c0e0 c1f0 7fb8 3e18 ENDCHAR STARTCHAR beta ENCODING 171 SWIDTH 600 0 DWIDTH 15 0 BBX 11 16 1 -3 BITMAP 0780 0fc0 0ce0 1860 1860 30c0 33c0 33c0 30e0 6060 6060 60e0 67c0 c700 c000 c000 ENDCHAR STARTCHAR gamma ENCODING 172 SWIDTH 600 0 DWIDTH 15 0 BBX 10 13 1 -3 BITMAP 6000 f0c0 9bc0 0f00 0e00 1c00 1e00 3600 3600 6600 6600 3c00 1800 ENDCHAR STARTCHAR delta ENCODING 173 SWIDTH 600 0 DWIDTH 15 0 BBX 10 14 2 0 BITMAP 1e00 3100 3000 3000 1c00 0f00 3f80 71c0 60c0 c0c0 c180 e380 7f00 3c00 ENDCHAR STARTCHAR epsilon ENCODING 174 SWIDTH 600 0 DWIDTH 15 0 BBX 7 12 1 0 BITMAP 1c 3e 72 60 38 38 60 c0 c0 e6 7e 3c ENDCHAR STARTCHAR zeta ENCODING 175 SWIDTH 600 0 DWIDTH 15 0 BBX 8 16 1 -3 BITMAP 08 0c 1f 30 60 60 c0 c0 c0 c0 c0 60 3c 0e 06 06 ENDCHAR STARTCHAR eta ENCODING 176 SWIDTH 600 0 DWIDTH 15 0 BBX 9 12 1 -4 BITMAP 6600 ef00 b980 3180 3180 6300 6300 6300 0600 0600 0600 0600 ENDCHAR STARTCHAR theta ENCODING 177 SWIDTH 600 0 DWIDTH 15 0 BBX 10 12 1 0 BITMAP 0780 0cc0 0cc0 0cc0 0780 6180 b300 3300 3300 6600 6600 3c00 ENDCHAR STARTCHAR kappa ENCODING 178 SWIDTH 600 0 DWIDTH 15 0 BBX 9 8 1 0 BITMAP c780 6c00 3800 3800 3c00 3400 6680 c300 ENDCHAR STARTCHAR lambda ENCODING 179 SWIDTH 600 0 DWIDTH 15 0 BBX 9 13 1 0 BITMAP 6000 3000 1800 1800 0c00 0c00 1c00 1600 3600 2600 6300 4300 c180 ENDCHAR STARTCHAR mu ENCODING 180 SWIDTH 600 0 DWIDTH 15 0 BBX 9 12 1 -4 BITMAP 3180 3180 3180 3180 6300 6300 7f80 7f80 c000 c000 c000 c000 ENDCHAR STARTCHAR nu ENCODING 181 SWIDTH 600 0 DWIDTH 15 0 BBX 8 8 1 0 BITMAP 63 b3 33 33 66 66 7c 78 ENDCHAR STARTCHAR xi ENCODING 182 SWIDTH 600 0 DWIDTH 15 0 BBX 7 15 1 -2 BITMAP 1e 30 60 60 60 3e 30 60 c0 c0 c0 7c 06 06 0c ENDCHAR STARTCHAR pi ENCODING 183 SWIDTH 600 0 DWIDTH 15 0 BBX 11 9 1 0 BITMAP 3c20 ffe0 9bc0 1980 1980 3180 3180 3180 3180 ENDCHAR STARTCHAR rho ENCODING 184 SWIDTH 600 0 DWIDTH 15 0 BBX 8 12 1 -4 BITMAP 0c 1e 33 63 63 66 3c 38 30 30 60 c0 ENDCHAR STARTCHAR sigma ENCODING 185 SWIDTH 600 0 DWIDTH 15 0 BBX 9 7 1 0 BITMAP 1f80 3e00 6600 c600 c600 cc00 7800 ENDCHAR STARTCHAR tau ENCODING 186 SWIDTH 600 0 DWIDTH 15 0 BBX 9 9 1 0 BITMAP 7f80 ff00 9800 1800 1800 3000 3000 3200 1c00 ENDCHAR STARTCHAR phi ENCODING 187 SWIDTH 600 0 DWIDTH 15 0 BBX 10 12 1 -4 BITMAP 0700 4f80 9cc0 98c0 98c0 d8c0 7f80 1f00 0c00 0c00 0c00 0c00 ENDCHAR STARTCHAR chi ENCODING 188 SWIDTH 600 0 DWIDTH 15 0 BBX 10 12 1 -4 BITMAP 60c0 3180 3180 1b00 1b00 1e00 0c00 1c00 3c00 6600 6600 c300 ENDCHAR STARTCHAR psi ENCODING 189 SWIDTH 600 0 DWIDTH 15 0 BBX 11 13 1 -3 BITMAP 0600 0600 2640 e660 6660 6660 6660 66c0 36c0 1f00 0600 0600 0600 ENDCHAR STARTCHAR omega ENCODING 190 SWIDTH 600 0 DWIDTH 15 0 BBX 12 7 1 0 BITMAP 6060 c630 c630 c630 c630 6660 1f80 ENDCHAR STARTCHAR not ENCODING 191 SWIDTH 666 0 DWIDTH 15 0 BBX 8 6 2 1 BITMAP ff ff 03 03 03 03 ENDCHAR STARTCHAR and ENCODING 192 SWIDTH 600 0 DWIDTH 15 0 BBX 10 9 2 0 BITMAP 0c00 1e00 1e00 3300 3300 6180 6180 c0c0 c0c0 ENDCHAR STARTCHAR or ENCODING 193 SWIDTH 600 0 DWIDTH 15 0 BBX 10 9 2 0 BITMAP c0c0 c0c0 6180 6180 3300 3300 1e00 1e00 0c00 ENDCHAR STARTCHAR forall ENCODING 194 SWIDTH 600 0 DWIDTH 15 0 BBX 10 14 1 0 BITMAP 8040 c0c0 c0c0 4080 7f80 7f80 2100 3300 3300 1200 1e00 1e00 0c00 0c00 ENDCHAR STARTCHAR exists ENCODING 195 SWIDTH 600 0 DWIDTH 15 0 BBX 9 14 1 0 BITMAP ff80 ff80 0180 0180 0180 0180 ff80 ff80 0180 0180 0180 0180 ff80 ff80 ENDCHAR STARTCHAR And ENCODING 196 SWIDTH 600 0 DWIDTH 15 0 BBX 12 15 1 -1 BITMAP 0600 0600 0f00 0f00 0900 1980 1980 1080 30c0 30c0 2040 6060 6060 4020 c030 ENDCHAR STARTCHAR lceil ENCODING 197 SWIDTH 600 0 DWIDTH 15 0 BBX 8 15 1 -1 BITMAP ff ff c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 ENDCHAR STARTCHAR rceil ENCODING 198 SWIDTH 600 0 DWIDTH 15 0 BBX 8 15 1 -1 BITMAP ff ff 03 03 03 03 03 03 03 03 03 03 03 03 03 ENDCHAR STARTCHAR lfloor ENCODING 199 SWIDTH 600 0 DWIDTH 15 0 BBX 8 15 1 -1 BITMAP c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 c0 ff ff ENDCHAR STARTCHAR rfloor ENCODING 200 SWIDTH 600 0 DWIDTH 15 0 BBX 8 15 1 -1 BITMAP 03 03 03 03 03 03 03 03 03 03 03 03 03 ff ff ENDCHAR STARTCHAR turnstile ENCODING 201 SWIDTH 600 0 DWIDTH 15 0 BBX 11 14 1 0 BITMAP c000 c000 c000 c000 c000 c000 ffe0 ffe0 c000 c000 c000 c000 c000 c000 ENDCHAR STARTCHAR Turnstile ENCODING 202 SWIDTH 600 0 DWIDTH 15 0 BBX 11 14 1 0 BITMAP c000 c000 c000 c000 ffe0 ffe0 c000 c000 ffe0 ffe0 c000 c000 c000 c000 ENDCHAR STARTCHAR lbrakk ENCODING 203 SWIDTH 600 0 DWIDTH 15 0 BBX 8 14 1 0 BITMAP ff ff d8 d8 d8 d8 d8 d8 d8 d8 d8 d8 ff ff ENDCHAR STARTCHAR rbrakk ENCODING 204 SWIDTH 600 0 DWIDTH 15 0 BBX 8 14 1 0 BITMAP ff ff 1b 1b 1b 1b 1b 1b 1b 1b 1b 1b ff ff ENDCHAR STARTCHAR cdot ENCODING 205 SWIDTH 600 0 DWIDTH 15 0 BBX 3 3 1 4 BITMAP e0 e0 e0 ENDCHAR STARTCHAR in ENCODING 206 SWIDTH 600 0 DWIDTH 15 0 BBX 9 12 1 0 BITMAP 1f80 3f80 6000 6000 c000 ff00 ff00 c000 6000 6000 3f80 1f80 ENDCHAR STARTCHAR subseteq ENCODING 207 SWIDTH 600 0 DWIDTH 15 0 BBX 11 11 1 0 BITMAP 1fe0 7fe0 e000 c000 c000 e000 7fe0 1fe0 0000 7fe0 7fe0 ENDCHAR STARTCHAR inter ENCODING 208 SWIDTH 600 0 DWIDTH 15 0 BBX 10 11 1 1 BITMAP 1e00 7f80 e1c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 ENDCHAR STARTCHAR union ENCODING 209 SWIDTH 600 0 DWIDTH 15 0 BBX 10 11 1 0 BITMAP c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 e1c0 7f80 1e00 ENDCHAR STARTCHAR Inter ENCODING 210 SWIDTH 600 0 DWIDTH 15 0 BBX 10 15 1 -1 BITMAP 1e00 7f80 e1c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 ENDCHAR STARTCHAR Union ENCODING 211 SWIDTH 600 0 DWIDTH 15 0 BBX 10 15 1 -1 BITMAP c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 e1c0 7f80 1e00 ENDCHAR STARTCHAR sqinter ENCODING 212 SWIDTH 600 0 DWIDTH 15 0 BBX 10 11 1 1 BITMAP ffc0 ffc0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 ENDCHAR STARTCHAR squnion ENCODING 213 SWIDTH 600 0 DWIDTH 15 0 BBX 10 11 1 0 BITMAP c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 ffc0 ffc0 ENDCHAR STARTCHAR Sqinter ENCODING 214 SWIDTH 600 0 DWIDTH 15 0 BBX 10 15 1 -1 BITMAP ffc0 ffc0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 ENDCHAR STARTCHAR Squnion ENCODING 215 SWIDTH 600 0 DWIDTH 15 0 BBX 10 15 1 -1 BITMAP c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 c0c0 ffc0 ffc0 ENDCHAR STARTCHAR bottom ENCODING 216 SWIDTH 600 0 DWIDTH 15 0 BBX 12 10 1 0 BITMAP 0600 0600 0600 0600 0600 0600 0600 0600 fff0 fff0 ENDCHAR STARTCHAR doteq ENCODING 217 SWIDTH 600 0 DWIDTH 15 0 BBX 12 9 1 3 BITMAP 0600 0600 0000 fff0 fff0 0000 0000 fff0 fff0 ENDCHAR STARTCHAR equiv ENCODING 218 SWIDTH 600 0 DWIDTH 15 0 BBX 9 8 1 2 BITMAP ff80 ff80 0000 ff80 ff80 0000 ff80 ff80 ENDCHAR STARTCHAR noteq ENCODING 219 SWIDTH 600 0 DWIDTH 15 0 BBX 10 12 1 0 BITMAP 0600 0600 0600 ffc0 ffc0 0c00 0c00 ffc0 ffc0 1800 1800 1800 ENDCHAR STARTCHAR sqsubset ENCODING 220 SWIDTH 600 0 DWIDTH 15 0 BBX 11 8 1 3 BITMAP ffe0 ffe0 c000 c000 c000 c000 ffe0 ffe0 ENDCHAR STARTCHAR sqsubseteq ENCODING 221 SWIDTH 600 0 DWIDTH 15 0 BBX 11 11 1 1 BITMAP ffe0 ffe0 c000 c000 c000 c000 ffe0 ffe0 0000 ffe0 ffe0 ENDCHAR STARTCHAR prec ENCODING 222 SWIDTH 600 0 DWIDTH 15 0 BBX 10 12 1 0 BITMAP 0040 00c0 0180 0300 0e00 f800 f800 0e00 0300 0180 00c0 0040 ENDCHAR STARTCHAR preceq ENCODING 223 SWIDTH 600 0 DWIDTH 15 0 BBX 10 14 1 -2 BITMAP 0040 00c0 0180 0300 0e00 f800 f800 0e00 0300 0180 00c0 0000 ffc0 ffc0 ENDCHAR STARTCHAR succ ENCODING 224 SWIDTH 600 0 DWIDTH 15 0 BBX 10 12 1 0 BITMAP 8000 c000 6000 3000 1c00 07c0 07c0 1c00 3000 6000 c000 8000 ENDCHAR STARTCHAR approx ENCODING 225 SWIDTH 600 0 DWIDTH 15 0 BBX 12 8 1 3 BITMAP 3800 fe30 c7f0 01c0 3800 fe30 c7f0 01c0 ENDCHAR STARTCHAR sim ENCODING 226 SWIDTH 600 0 DWIDTH 15 0 BBX 12 4 1 5 BITMAP 3800 fe30 c7f0 01c0 ENDCHAR STARTCHAR simeq ENCODING 227 SWIDTH 600 0 DWIDTH 15 0 BBX 12 7 1 4 BITMAP 3800 fe30 c7f0 01c0 0000 fff0 fff0 ENDCHAR STARTCHAR le ENCODING 228 SWIDTH 600 0 DWIDTH 15 0 BBX 9 12 1 0 BITMAP 0180 0700 1c00 7000 c000 7000 1c00 0700 0180 0000 ff80 ff80 ENDCHAR STARTCHAR ccolon ENCODING 229 SWIDTH 600 0 DWIDTH 15 0 BBX 7 10 3 1 BITMAP c6 c6 00 00 00 00 00 00 c6 c6 ENDCHAR STARTCHAR leftarrow ENCODING 230 SWIDTH 666 0 DWIDTH 15 0 BBX 13 10 4 2 BITMAP 0c00 1c00 3800 7000 fff8 fff8 7000 3800 1c00 0c00 ENDCHAR STARTCHAR midarrow ENCODING 231 SWIDTH 600 0 DWIDTH 15 0 BBX 16 2 1 6 BITMAP ffff ffff ENDCHAR STARTCHAR rightarrow ENCODING 232 SWIDTH 666 0 DWIDTH 15 0 BBX 13 10 1 2 BITMAP 0180 01c0 00e0 0070 fff8 fff8 0070 00e0 01c0 0180 ENDCHAR STARTCHAR Leftarrow ENCODING 233 SWIDTH 666 0 DWIDTH 15 0 BBX 13 14 4 0 BITMAP 0300 0700 0e00 1c00 3ff8 7ff8 e000 e000 7ff8 3ff8 1c00 0e00 0700 0300 ENDCHAR STARTCHAR Midarrow ENCODING 234 SWIDTH 600 0 DWIDTH 15 0 BBX 16 6 1 4 BITMAP ffff ffff 0000 0000 ffff ffff ENDCHAR STARTCHAR Rightarrow ENCODING 235 SWIDTH 666 0 DWIDTH 15 0 BBX 13 14 1 0 BITMAP 0600 0700 0380 01c0 ffe0 fff0 0038 0038 fff0 ffe0 01c0 0380 0700 0600 ENDCHAR STARTCHAR bow ENCODING 236 SWIDTH 600 0 DWIDTH 15 0 BBX 11 4 1 7 BITMAP 3f80 7fc0 e0e0 c060 ENDCHAR STARTCHAR mapsto ENCODING 237 SWIDTH 600 0 DWIDTH 15 0 BBX 13 10 1 2 BITMAP 0180 c1c0 c0e0 c070 fff8 fff8 c070 c0e0 c1c0 0180 ENDCHAR STARTCHAR leadsto ENCODING 238 SWIDTH 600 0 DWIDTH 15 0 BBX 14 10 1 2 BITMAP 00c0 00e0 0070 3c38 7efc e7fc c3b8 0070 00e0 00c0 ENDCHAR STARTCHAR up ENCODING 239 SWIDTH 600 0 DWIDTH 15 0 BBX 10 13 1 0 BITMAP 0c00 1e00 3f00 7f80 edc0 ccc0 0c00 0c00 0c00 0c00 0c00 0c00 0c00 ENDCHAR STARTCHAR down ENCODING 240 SWIDTH 600 0 DWIDTH 15 0 BBX 10 13 1 0 BITMAP 0c00 0c00 0c00 0c00 0c00 0c00 0c00 ccc0 edc0 7f80 3f00 1e00 0c00 ENDCHAR STARTCHAR notin ENCODING 241 SWIDTH 600 0 DWIDTH 15 0 BBX 9 14 1 -1 BITMAP 0180 1f80 3f80 6300 6600 c600 ff00 ff00 d800 7800 7000 3f80 7f80 6000 ENDCHAR STARTCHAR times ENCODING 242 SWIDTH 600 0 DWIDTH 15 0 BBX 12 11 1 0 BITMAP c030 6060 30c0 1980 0f00 0600 0f00 1980 30c0 6060 c030 ENDCHAR STARTCHAR oplus ENCODING 243 SWIDTH 600 0 DWIDTH 15 0 BBX 14 14 1 0 BITMAP 0780 1fe0 3030 6318 4308 c30c dfec dfec c30c 4308 6318 3030 1fe0 0780 ENDCHAR STARTCHAR ominus ENCODING 244 SWIDTH 600 0 DWIDTH 15 0 BBX 14 14 1 0 BITMAP 0780 1fe0 3030 6018 4008 c00c dfec dfec c00c 4008 6018 3030 1fe0 0780 ENDCHAR STARTCHAR otimes ENCODING 245 SWIDTH 600 0 DWIDTH 15 0 BBX 14 14 1 0 BITMAP 0780 1fe0 3030 7878 5ce8 cfcc c78c c78c cfcc 5ce8 7878 3030 1fe0 0780 ENDCHAR STARTCHAR oslash ENCODING 246 SWIDTH 600 0 DWIDTH 15 0 BBX 14 14 1 0 BITMAP 0780 1fe0 3030 6078 40e8 c1cc c38c c70c ce0c 5c08 7818 3030 1fe0 0780 ENDCHAR STARTCHAR subset ENCODING 247 SWIDTH 600 0 DWIDTH 15 0 BBX 11 8 1 3 BITMAP 1fe0 7fe0 e000 c000 c000 e000 7fe0 1fe0 ENDCHAR STARTCHAR infinity ENCODING 248 SWIDTH 600 0 DWIDTH 15 0 BBX 14 8 0 2 BITMAP 3870 7cf8 e7dc c38c c70c ef9c 7cf8 3870 ENDCHAR STARTCHAR box ENCODING 249 SWIDTH 600 0 DWIDTH 15 0 BBX 12 12 1 0 BITMAP fff0 fff0 c030 c030 c030 c030 c030 c030 c030 c030 fff0 fff0 ENDCHAR STARTCHAR diamond ENCODING 250 SWIDTH 600 0 DWIDTH 15 0 BBX 13 13 1 0 BITMAP 0200 0700 0d80 18c0 3060 6030 c018 6030 3060 18c0 0d80 0700 0200 ENDCHAR STARTCHAR circ ENCODING 251 SWIDTH 600 0 DWIDTH 15 0 BBX 8 8 1 2 BITMAP 3c 7e e7 c3 c3 e7 7e 3c ENDCHAR STARTCHAR bullet ENCODING 252 SWIDTH 600 0 DWIDTH 15 0 BBX 8 8 1 2 BITMAP 3c 7e ff ff ff ff 7e 3c ENDCHAR STARTCHAR parallel ENCODING 253 SWIDTH 600 0 DWIDTH 15 0 BBX 6 15 4 -1 BITMAP cc cc cc cc cc cc cc cc cc cc cc cc cc cc cc ENDCHAR STARTCHAR surd ENCODING 254 SWIDTH 600 0 DWIDTH 15 0 BBX 12 11 1 1 BITMAP 0070 0070 00c0 00c0 0180 e180 f300 3300 1e00 1e00 0c00 ENDCHAR STARTCHAR copyright ENCODING 255 SWIDTH 600 0 DWIDTH 15 0 BBX 14 14 1 0 BITMAP 0780 1fe0 3030 6798 4cc8 d80c d00c d00c d80c 4cc8 6798 3030 1fe0 0780 ENDCHAR ENDFONT