lib/fonts/isabelle24.bdf
author wenzelm
Thu Aug 27 20:46:36 1998 +0200 (1998-08-27)
changeset 5400 645f46a24c72
parent 3082 9b68848654bf
child 6281 25d41c118304
permissions -rw-r--r--
made tutorial first;
     1 STARTFONT 2.1
     2 FONT -isabelle-fixed-bold-r-normal--24-240-75-75-m-150-isabelle-0
     3 SIZE 24 75 75
     4 FONTBOUNDINGBOX 16 22 6 -5
     5 STARTPROPERTIES 22
     6 FONTNAME_REGISTRY ""
     7 FOUNDRY "Isabelle"
     8 FAMILY_NAME "Fixed"
     9 WEIGHT_NAME "Bold"
    10 SLANT "R"
    11 SETWIDTH_NAME "Normal"
    12 ADD_STYLE_NAME ""
    13 PIXEL_SIZE 24
    14 POINT_SIZE 240
    15 RESOLUTION_X 75
    16 RESOLUTION_Y 75
    17 SPACING "M"
    18 AVERAGE_WIDTH 150
    19 CHARSET_REGISTRY "Isabelle"
    20 CHARSET_ENCODING "0"
    21 CHARSET_COLLECTIONS ""
    22 FULL_NAME "Fixed Bold"
    23 COPYRIGHT "Public"
    24 FONT_ASCENT 17
    25 FONT_DESCENT 5
    26 CAP_HEIGHT 15
    27 X_HEIGHT 11
    28 ENDPROPERTIES
    29 CHARS 206
    30 STARTCHAR space
    31 ENCODING 32
    32 SWIDTH 600 0
    33 DWIDTH 15 0
    34 BBX 1 1 0 0
    35 BITMAP
    36 00
    37 ENDCHAR
    38 STARTCHAR exclam
    39 ENCODING 33
    40 SWIDTH 600 0
    41 DWIDTH 15 0
    42 BBX 4 16 5 0
    43 BITMAP
    44 60
    45 f0
    46 f0
    47 f0
    48 f0
    49 f0
    50 f0
    51 f0
    52 60
    53 60
    54 60
    55 60
    56 00
    57 00
    58 60
    59 60
    60 ENDCHAR
    61 STARTCHAR quotedbl
    62 ENCODING 34
    63 SWIDTH 600 0
    64 DWIDTH 15 0
    65 BBX 8 7 3 8
    66 BITMAP
    67 e7
    68 e7
    69 e7
    70 e7
    71 c6
    72 84
    73 84
    74 ENDCHAR
    75 STARTCHAR numbersign
    76 ENCODING 35
    77 SWIDTH 600 0
    78 DWIDTH 15 0
    79 BBX 12 19 1 -2
    80 BITMAP
    81 0cc0
    82 0cc0
    83 0cc0
    84 0cc0
    85 0cc0
    86 0cc0
    87 7ff0
    88 7ff0
    89 1980
    90 1980
    91 1980
    92 ffe0
    93 ffe0
    94 3300
    95 3300
    96 3300
    97 3300
    98 3300
    99 3300
   100 ENDCHAR
   101 STARTCHAR dollar
   102 ENCODING 36
   103 SWIDTH 600 0
   104 DWIDTH 15 0
   105 BBX 10 20 2 -3
   106 BITMAP
   107 0c00
   108 0c00
   109 3d80
   110 7f80
   111 c380
   112 c180
   113 c000
   114 e000
   115 7e00
   116 1f80
   117 01c0
   118 00c0
   119 c0c0
   120 e1c0
   121 ff80
   122 df00
   123 0c00
   124 0c00
   125 0c00
   126 0c00
   127 ENDCHAR
   128 STARTCHAR percent
   129 ENCODING 37
   130 SWIDTH 600 0
   131 DWIDTH 15 0
   132 BBX 10 15 2 0
   133 BITMAP
   134 3c00
   135 6600
   136 4200
   137 4200
   138 6600
   139 3c00
   140 01c0
   141 0f00
   142 3800
   143 e780
   144 0cc0
   145 0840
   146 0840
   147 0cc0
   148 0780
   149 ENDCHAR
   150 STARTCHAR ampersand
   151 ENCODING 38
   152 SWIDTH 600 0
   153 DWIDTH 15 0
   154 BBX 11 14 2 0
   155 BITMAP
   156 1e00
   157 3f00
   158 6300
   159 6000
   160 6000
   161 3000
   162 3800
   163 7cc0
   164 6fc0
   165 c780
   166 c300
   167 c780
   168 ffe0
   169 7ce0
   170 ENDCHAR
   171 STARTCHAR quoteright
   172 ENCODING 39
   173 SWIDTH 600 0
   174 DWIDTH 15 0
   175 BBX 5 6 4 9
   176 BITMAP
   177 38
   178 38
   179 70
   180 60
   181 c0
   182 80
   183 ENDCHAR
   184 STARTCHAR parenleft
   185 ENCODING 40
   186 SWIDTH 600 0
   187 DWIDTH 15 0
   188 BBX 5 20 6 -4
   189 BITMAP
   190 18
   191 38
   192 30
   193 60
   194 60
   195 60
   196 c0
   197 c0
   198 c0
   199 c0
   200 c0
   201 c0
   202 c0
   203 c0
   204 60
   205 60
   206 60
   207 30
   208 38
   209 18
   210 ENDCHAR
   211 STARTCHAR parenright
   212 ENCODING 41
   213 SWIDTH 600 0
   214 DWIDTH 15 0
   215 BBX 5 20 3 -4
   216 BITMAP
   217 c0
   218 e0
   219 60
   220 30
   221 30
   222 30
   223 18
   224 18
   225 18
   226 18
   227 18
   228 18
   229 18
   230 18
   231 30
   232 30
   233 30
   234 60
   235 e0
   236 c0
   237 ENDCHAR
   238 STARTCHAR asterisk
   239 ENCODING 42
   240 SWIDTH 600 0
   241 DWIDTH 15 0
   242 BBX 10 11 2 5
   243 BITMAP
   244 0c00
   245 0c00
   246 0c00
   247 ccc0
   248 edc0
   249 3f00
   250 0c00
   251 1e00
   252 3300
   253 7380
   254 6180
   255 ENDCHAR
   256 STARTCHAR plus
   257 ENCODING 43
   258 SWIDTH 600 0
   259 DWIDTH 15 0
   260 BBX 12 14 1 0
   261 BITMAP
   262 0600
   263 0600
   264 0600
   265 0600
   266 0600
   267 0600
   268 fff0
   269 fff0
   270 0600
   271 0600
   272 0600
   273 0600
   274 0600
   275 0600
   276 ENDCHAR
   277 STARTCHAR comma
   278 ENCODING 44
   279 SWIDTH 600 0
   280 DWIDTH 15 0
   281 BBX 5 6 4 -3
   282 BITMAP
   283 38
   284 38
   285 70
   286 60
   287 c0
   288 80
   289 ENDCHAR
   290 STARTCHAR minus
   291 ENCODING 45
   292 SWIDTH 600 0
   293 DWIDTH 15 0
   294 BBX 12 2 1 6
   295 BITMAP
   296 fff0
   297 fff0
   298 ENDCHAR
   299 STARTCHAR period
   300 ENCODING 46
   301 SWIDTH 600 0
   302 DWIDTH 15 0
   303 BBX 3 3 5 0
   304 BITMAP
   305 e0
   306 e0
   307 e0
   308 ENDCHAR
   309 STARTCHAR slash
   310 ENCODING 47
   311 SWIDTH 600 0
   312 DWIDTH 15 0
   313 BBX 11 20 2 -3
   314 BITMAP
   315 0060
   316 0060
   317 00c0
   318 00c0
   319 0180
   320 0180
   321 0300
   322 0300
   323 0600
   324 0600
   325 0c00
   326 0c00
   327 1800
   328 1800
   329 3000
   330 3000
   331 6000
   332 6000
   333 c000
   334 c000
   335 ENDCHAR
   336 STARTCHAR zero
   337 ENCODING 48
   338 SWIDTH 600 0
   339 DWIDTH 15 0
   340 BBX 10 16 2 0
   341 BITMAP
   342 1e00
   343 7f80
   344 6180
   345 c0c0
   346 c0c0
   347 c0c0
   348 c0c0
   349 c0c0
   350 c0c0
   351 c0c0
   352 c0c0
   353 c0c0
   354 c0c0
   355 6180
   356 7f80
   357 1e00
   358 ENDCHAR
   359 STARTCHAR one
   360 ENCODING 49
   361 SWIDTH 600 0
   362 DWIDTH 15 0
   363 BBX 10 16 2 0
   364 BITMAP
   365 1c00
   366 fc00
   367 fc00
   368 0c00
   369 0c00
   370 0c00
   371 0c00
   372 0c00
   373 0c00
   374 0c00
   375 0c00
   376 0c00
   377 0c00
   378 0c00
   379 ffc0
   380 ffc0
   381 ENDCHAR
   382 STARTCHAR two
   383 ENCODING 50
   384 SWIDTH 600 0
   385 DWIDTH 15 0
   386 BBX 11 16 1 0
   387 BITMAP
   388 1f80
   389 3fc0
   390 70e0
   391 6060
   392 6060
   393 0060
   394 00e0
   395 01c0
   396 0380
   397 0700
   398 0e00
   399 1c00
   400 3800
   401 7000
   402 ffe0
   403 ffe0
   404 ENDCHAR
   405 STARTCHAR three
   406 ENCODING 51
   407 SWIDTH 600 0
   408 DWIDTH 15 0
   409 BBX 11 16 1 0
   410 BITMAP
   411 1f80
   412 3fc0
   413 70e0
   414 6060
   415 0060
   416 00e0
   417 01c0
   418 0f80
   419 0fc0
   420 00e0
   421 0060
   422 0060
   423 c060
   424 e0e0
   425 7fc0
   426 3f80
   427 ENDCHAR
   428 STARTCHAR four
   429 ENCODING 52
   430 SWIDTH 600 0
   431 DWIDTH 15 0
   432 BBX 11 16 1 0
   433 BITMAP
   434 0380
   435 0780
   436 0f80
   437 0d80
   438 1980
   439 1980
   440 3180
   441 3180
   442 6180
   443 6180
   444 ffe0
   445 ffe0
   446 0180
   447 0180
   448 0fe0
   449 0fe0
   450 ENDCHAR
   451 STARTCHAR five
   452 ENCODING 53
   453 SWIDTH 600 0
   454 DWIDTH 15 0
   455 BBX 11 16 2 0
   456 BITMAP
   457 7fc0
   458 7fc0
   459 6000
   460 6000
   461 6000
   462 6f00
   463 7fc0
   464 71c0
   465 00e0
   466 0060
   467 0060
   468 0060
   469 c0e0
   470 e1c0
   471 7fc0
   472 3f00
   473 ENDCHAR
   474 STARTCHAR six
   475 ENCODING 54
   476 SWIDTH 600 0
   477 DWIDTH 15 0
   478 BBX 10 16 3 0
   479 BITMAP
   480 07c0
   481 1fc0
   482 3c00
   483 7000
   484 6000
   485 e000
   486 cf00
   487 df80
   488 f1c0
   489 e0c0
   490 c0c0
   491 c0c0
   492 e0c0
   493 71c0
   494 7f80
   495 1f00
   496 ENDCHAR
   497 STARTCHAR seven
   498 ENCODING 55
   499 SWIDTH 600 0
   500 DWIDTH 15 0
   501 BBX 10 16 2 0
   502 BITMAP
   503 ffc0
   504 ffc0
   505 c0c0
   506 00c0
   507 0180
   508 0180
   509 0180
   510 0300
   511 0300
   512 0300
   513 0600
   514 0600
   515 0600
   516 0c00
   517 0c00
   518 0c00
   519 ENDCHAR
   520 STARTCHAR eight
   521 ENCODING 56
   522 SWIDTH 600 0
   523 DWIDTH 15 0
   524 BBX 10 16 2 0
   525 BITMAP
   526 1e00
   527 7f80
   528 e1c0
   529 c0c0
   530 c0c0
   531 c0c0
   532 6180
   533 3f00
   534 7f80
   535 e1c0
   536 c0c0
   537 c0c0
   538 c0c0
   539 e1c0
   540 7f80
   541 3f00
   542 ENDCHAR
   543 STARTCHAR nine
   544 ENCODING 57
   545 SWIDTH 600 0
   546 DWIDTH 15 0
   547 BBX 10 16 3 0
   548 BITMAP
   549 1e00
   550 7f80
   551 6180
   552 c0c0
   553 c0c0
   554 c0c0
   555 c0c0
   556 c1c0
   557 e3c0
   558 7ec0
   559 3cc0
   560 00c0
   561 0180
   562 0380
   563 ff00
   564 fc00
   565 ENDCHAR
   566 STARTCHAR colon
   567 ENCODING 58
   568 SWIDTH 600 0
   569 DWIDTH 15 0
   570 BBX 3 11 5 0
   571 BITMAP
   572 e0
   573 e0
   574 e0
   575 00
   576 00
   577 00
   578 00
   579 00
   580 e0
   581 e0
   582 e0
   583 ENDCHAR
   584 STARTCHAR semicolon
   585 ENCODING 59
   586 SWIDTH 600 0
   587 DWIDTH 15 0
   588 BBX 5 14 3 -3
   589 BITMAP
   590 38
   591 38
   592 38
   593 00
   594 00
   595 00
   596 00
   597 00
   598 38
   599 38
   600 70
   601 60
   602 c0
   603 80
   604 ENDCHAR
   605 STARTCHAR less
   606 ENCODING 60
   607 SWIDTH 600 0
   608 DWIDTH 15 0
   609 BBX 13 12 1 1
   610 BITMAP
   611 0038
   612 00f0
   613 03c0
   614 0f00
   615 3c00
   616 f000
   617 f000
   618 3c00
   619 0f00
   620 03c0
   621 00f0
   622 0038
   623 ENDCHAR
   624 STARTCHAR equal
   625 ENCODING 61
   626 SWIDTH 600 0
   627 DWIDTH 15 0
   628 BBX 12 6 1 4
   629 BITMAP
   630 fff0
   631 fff0
   632 0000
   633 0000
   634 fff0
   635 fff0
   636 ENDCHAR
   637 STARTCHAR greater
   638 ENCODING 62
   639 SWIDTH 600 0
   640 DWIDTH 15 0
   641 BBX 13 12 1 1
   642 BITMAP
   643 e000
   644 7800
   645 1e00
   646 0780
   647 01e0
   648 0078
   649 0078
   650 01e0
   651 0780
   652 1e00
   653 7800
   654 e000
   655 ENDCHAR
   656 STARTCHAR question
   657 ENCODING 63
   658 SWIDTH 600 0
   659 DWIDTH 15 0
   660 BBX 9 15 3 0
   661 BITMAP
   662 7e00
   663 ff00
   664 c380
   665 c180
   666 c180
   667 0180
   668 0380
   669 0f00
   670 1c00
   671 1800
   672 1800
   673 0000
   674 0000
   675 1800
   676 1800
   677 ENDCHAR
   678 STARTCHAR at
   679 ENCODING 64
   680 SWIDTH 600 0
   681 DWIDTH 15 0
   682 BBX 10 18 2 -2
   683 BITMAP
   684 1c00
   685 7f00
   686 6300
   687 c180
   688 c180
   689 c780
   690 cf80
   691 dd80
   692 d980
   693 d980
   694 dd80
   695 cfc0
   696 c7c0
   697 c000
   698 c000
   699 6180
   700 7f80
   701 1e00
   702 ENDCHAR
   703 STARTCHAR A
   704 ENCODING 65
   705 SWIDTH 600 0
   706 DWIDTH 15 0
   707 BBX 14 15 0 0
   708 BITMAP
   709 3f00
   710 3f80
   711 0780
   712 0780
   713 0cc0
   714 0cc0
   715 1ce0
   716 1860
   717 1860
   718 3ff0
   719 3ff0
   720 7038
   721 6018
   722 fcfc
   723 fcfc
   724 ENDCHAR
   725 STARTCHAR B
   726 ENCODING 66
   727 SWIDTH 600 0
   728 DWIDTH 15 0
   729 BBX 13 15 1 0
   730 BITMAP
   731 ffc0
   732 ffe0
   733 3070
   734 3030
   735 3030
   736 3070
   737 3fe0
   738 3ff0
   739 3038
   740 3018
   741 3018
   742 3018
   743 3038
   744 fff0
   745 ffe0
   746 ENDCHAR
   747 STARTCHAR C
   748 ENCODING 67
   749 SWIDTH 600 0
   750 DWIDTH 15 0
   751 BBX 13 15 1 0
   752 BITMAP
   753 0fd8
   754 3ff8
   755 7038
   756 6018
   757 e018
   758 c000
   759 c000
   760 c000
   761 c000
   762 c000
   763 e000
   764 6018
   765 7038
   766 3ff0
   767 0fc0
   768 ENDCHAR
   769 STARTCHAR D
   770 ENCODING 68
   771 SWIDTH 600 0
   772 DWIDTH 15 0
   773 BBX 14 15 0 0
   774 BITMAP
   775 ffc0
   776 fff0
   777 3038
   778 3018
   779 301c
   780 300c
   781 300c
   782 300c
   783 300c
   784 300c
   785 300c
   786 3018
   787 3038
   788 fff0
   789 ffe0
   790 ENDCHAR
   791 STARTCHAR E
   792 ENCODING 69
   793 SWIDTH 600 0
   794 DWIDTH 15 0
   795 BBX 13 15 1 0
   796 BITMAP
   797 fff0
   798 fff0
   799 3030
   800 3030
   801 3030
   802 3180
   803 3180
   804 3f80
   805 3f80
   806 3180
   807 3198
   808 3018
   809 3018
   810 fff8
   811 fff8
   812 ENDCHAR
   813 STARTCHAR F
   814 ENCODING 70
   815 SWIDTH 600 0
   816 DWIDTH 15 0
   817 BBX 13 15 1 0
   818 BITMAP
   819 fff8
   820 fff8
   821 3018
   822 3018
   823 3018
   824 3180
   825 3180
   826 3f80
   827 3f80
   828 3180
   829 3180
   830 3000
   831 3000
   832 ff00
   833 ff00
   834 ENDCHAR
   835 STARTCHAR G
   836 ENCODING 71
   837 SWIDTH 600 0
   838 DWIDTH 15 0
   839 BBX 13 15 1 0
   840 BITMAP
   841 0fd8
   842 3ff8
   843 7038
   844 6018
   845 e018
   846 c000
   847 c000
   848 c000
   849 c1f8
   850 c1f8
   851 e018
   852 6018
   853 7038
   854 3ff0
   855 0fc0
   856 ENDCHAR
   857 STARTCHAR H
   858 ENCODING 72
   859 SWIDTH 600 0
   860 DWIDTH 15 0
   861 BBX 14 15 0 0
   862 BITMAP
   863 fcfc
   864 fcfc
   865 3030
   866 3030
   867 3030
   868 3030
   869 3ff0
   870 3ff0
   871 3030
   872 3030
   873 3030
   874 3030
   875 3030
   876 fcfc
   877 fcfc
   878 ENDCHAR
   879 STARTCHAR I
   880 ENCODING 73
   881 SWIDTH 600 0
   882 DWIDTH 15 0
   883 BBX 10 15 2 0
   884 BITMAP
   885 ffc0
   886 ffc0
   887 0c00
   888 0c00
   889 0c00
   890 0c00
   891 0c00
   892 0c00
   893 0c00
   894 0c00
   895 0c00
   896 0c00
   897 0c00
   898 ffc0
   899 ffc0
   900 ENDCHAR
   901 STARTCHAR J
   902 ENCODING 74
   903 SWIDTH 600 0
   904 DWIDTH 15 0
   905 BBX 13 15 1 0
   906 BITMAP
   907 1ff8
   908 1ff8
   909 00c0
   910 00c0
   911 00c0
   912 00c0
   913 00c0
   914 00c0
   915 00c0
   916 c0c0
   917 c0c0
   918 c0c0
   919 e1c0
   920 7f80
   921 3f00
   922 ENDCHAR
   923 STARTCHAR K
   924 ENCODING 75
   925 SWIDTH 600 0
   926 DWIDTH 15 0
   927 BBX 14 15 0 0
   928 BITMAP
   929 fcf8
   930 fcf8
   931 30e0
   932 31c0
   933 3380
   934 3700
   935 3e00
   936 3f00
   937 3b80
   938 31c0
   939 30e0
   940 3060
   941 3070
   942 fc3c
   943 fc3c
   944 ENDCHAR
   945 STARTCHAR L
   946 ENCODING 76
   947 SWIDTH 600 0
   948 DWIDTH 15 0
   949 BBX 12 15 1 0
   950 BITMAP
   951 ff00
   952 ff00
   953 1800
   954 1800
   955 1800
   956 1800
   957 1800
   958 1800
   959 1800
   960 1800
   961 1830
   962 1830
   963 1830
   964 fff0
   965 fff0
   966 ENDCHAR
   967 STARTCHAR M
   968 ENCODING 77
   969 SWIDTH 600 0
   970 DWIDTH 15 0
   971 BBX 14 15 0 0
   972 BITMAP
   973 f03c
   974 f03c
   975 7878
   976 7878
   977 7878
   978 6cd8
   979 6cd8
   980 6798
   981 6798
   982 6318
   983 6018
   984 6018
   985 6018
   986 f87c
   987 f87c
   988 ENDCHAR
   989 STARTCHAR N
   990 ENCODING 78
   991 SWIDTH 600 0
   992 DWIDTH 15 0
   993 BBX 13 15 1 0
   994 BITMAP
   995 f0f8
   996 f0f8
   997 7830
   998 7830
   999 6c30
  1000 6c30
  1001 6630
  1002 6630
  1003 6330
  1004 6330
  1005 61b0
  1006 61b0
  1007 60f0
  1008 f8f0
  1009 f870
  1010 ENDCHAR
  1011 STARTCHAR O
  1012 ENCODING 79
  1013 SWIDTH 600 0
  1014 DWIDTH 15 0
  1015 BBX 13 15 1 0
  1016 BITMAP
  1017 0f80
  1018 3fe0
  1019 7070
  1020 6030
  1021 e038
  1022 c018
  1023 c018
  1024 c018
  1025 c018
  1026 c018
  1027 e038
  1028 6030
  1029 7070
  1030 3fe0
  1031 0f80
  1032 ENDCHAR
  1033 STARTCHAR P
  1034 ENCODING 80
  1035 SWIDTH 600 0
  1036 DWIDTH 15 0
  1037 BBX 13 15 1 0
  1038 BITMAP
  1039 ffc0
  1040 fff0
  1041 3038
  1042 3018
  1043 3018
  1044 3018
  1045 3018
  1046 3038
  1047 3ff0
  1048 3fc0
  1049 3000
  1050 3000
  1051 3000
  1052 ff00
  1053 ff00
  1054 ENDCHAR
  1055 STARTCHAR Q
  1056 ENCODING 81
  1057 SWIDTH 600 0
  1058 DWIDTH 15 0
  1059 BBX 13 18 1 -3
  1060 BITMAP
  1061 0f80
  1062 3fe0
  1063 7070
  1064 6030
  1065 e038
  1066 c018
  1067 c018
  1068 c018
  1069 c018
  1070 c018
  1071 e038
  1072 6030
  1073 7070
  1074 3fe0
  1075 0f80
  1076 1e18
  1077 3ff8
  1078 39e0
  1079 ENDCHAR
  1080 STARTCHAR R
  1081 ENCODING 82
  1082 SWIDTH 600 0
  1083 DWIDTH 15 0
  1084 BBX 14 15 0 0
  1085 BITMAP
  1086 ff80
  1087 ffe0
  1088 3070
  1089 3030
  1090 3030
  1091 3030
  1092 3070
  1093 3fe0
  1094 3f80
  1095 31c0
  1096 30e0
  1097 3060
  1098 3070
  1099 fc3c
  1100 fc3c
  1101 ENDCHAR
  1102 STARTCHAR S
  1103 ENCODING 83
  1104 SWIDTH 600 0
  1105 DWIDTH 15 0
  1106 BBX 12 15 1 0
  1107 BITMAP
  1108 1fb0
  1109 3ff0
  1110 7070
  1111 6030
  1112 6030
  1113 7000
  1114 3e00
  1115 1fc0
  1116 03e0
  1117 0070
  1118 c030
  1119 c030
  1120 e070
  1121 ffe0
  1122 dfc0
  1123 ENDCHAR
  1124 STARTCHAR T
  1125 ENCODING 84
  1126 SWIDTH 600 0
  1127 DWIDTH 15 0
  1128 BBX 12 15 1 0
  1129 BITMAP
  1130 fff0
  1131 fff0
  1132 c630
  1133 c630
  1134 c630
  1135 c630
  1136 0600
  1137 0600
  1138 0600
  1139 0600
  1140 0600
  1141 0600
  1142 0600
  1143 3fc0
  1144 3fc0
  1145 ENDCHAR
  1146 STARTCHAR U
  1147 ENCODING 85
  1148 SWIDTH 600 0
  1149 DWIDTH 15 0
  1150 BBX 13 15 1 0
  1151 BITMAP
  1152 f8f8
  1153 f8f8
  1154 6030
  1155 6030
  1156 6030
  1157 6030
  1158 6030
  1159 6030
  1160 6030
  1161 6030
  1162 6030
  1163 6030
  1164 3060
  1165 3fe0
  1166 1fc0
  1167 ENDCHAR
  1168 STARTCHAR V
  1169 ENCODING 86
  1170 SWIDTH 600 0
  1171 DWIDTH 15 0
  1172 BBX 14 15 0 0
  1173 BITMAP
  1174 f87c
  1175 f87c
  1176 6018
  1177 6018
  1178 3030
  1179 3030
  1180 3030
  1181 1860
  1182 1860
  1183 1860
  1184 0cc0
  1185 0cc0
  1186 0780
  1187 0780
  1188 0780
  1189 ENDCHAR
  1190 STARTCHAR W
  1191 ENCODING 87
  1192 SWIDTH 600 0
  1193 DWIDTH 15 0
  1194 BBX 14 15 0 0
  1195 BITMAP
  1196 f87c
  1197 f87c
  1198 6018
  1199 6318
  1200 6318
  1201 6798
  1202 6798
  1203 6fd8
  1204 6cd8
  1205 6cd8
  1206 3cf0
  1207 3870
  1208 3870
  1209 3870
  1210 3870
  1211 ENDCHAR
  1212 STARTCHAR X
  1213 ENCODING 88
  1214 SWIDTH 600 0
  1215 DWIDTH 15 0
  1216 BBX 14 15 0 0
  1217 BITMAP
  1218 fcfc
  1219 fcfc
  1220 7038
  1221 3870
  1222 1ce0
  1223 0fc0
  1224 0780
  1225 0300
  1226 0780
  1227 0cc0
  1228 1ce0
  1229 3870
  1230 7038
  1231 fcfc
  1232 fcfc
  1233 ENDCHAR
  1234 STARTCHAR Y
  1235 ENCODING 89
  1236 SWIDTH 600 0
  1237 DWIDTH 15 0
  1238 BBX 14 15 0 0
  1239 BITMAP
  1240 fcfc
  1241 fcfc
  1242 7038
  1243 3870
  1244 1860
  1245 0cc0
  1246 0fc0
  1247 0780
  1248 0300
  1249 0300
  1250 0300
  1251 0300
  1252 0300
  1253 1fe0
  1254 1fe0
  1255 ENDCHAR
  1256 STARTCHAR Z
  1257 ENCODING 90
  1258 SWIDTH 600 0
  1259 DWIDTH 15 0
  1260 BBX 11 15 2 0
  1261 BITMAP
  1262 ffe0
  1263 ffe0
  1264 c0e0
  1265 c1c0
  1266 c380
  1267 0300
  1268 0700
  1269 0e00
  1270 1c00
  1271 1800
  1272 3860
  1273 7060
  1274 e060
  1275 ffe0
  1276 ffe0
  1277 ENDCHAR
  1278 STARTCHAR bracketleft
  1279 ENCODING 91
  1280 SWIDTH 600 0
  1281 DWIDTH 15 0
  1282 BBX 5 20 6 -4
  1283 BITMAP
  1284 f8
  1285 f8
  1286 c0
  1287 c0
  1288 c0
  1289 c0
  1290 c0
  1291 c0
  1292 c0
  1293 c0
  1294 c0
  1295 c0
  1296 c0
  1297 c0
  1298 c0
  1299 c0
  1300 c0
  1301 c0
  1302 f8
  1303 f8
  1304 ENDCHAR
  1305 STARTCHAR backslash
  1306 ENCODING 92
  1307 SWIDTH 600 0
  1308 DWIDTH 15 0
  1309 BBX 11 20 2 -3
  1310 BITMAP
  1311 c000
  1312 c000
  1313 6000
  1314 6000
  1315 3000
  1316 3000
  1317 1800
  1318 1800
  1319 0c00
  1320 0c00
  1321 0600
  1322 0600
  1323 0300
  1324 0300
  1325 0180
  1326 0180
  1327 00c0
  1328 00c0
  1329 0060
  1330 0060
  1331 ENDCHAR
  1332 STARTCHAR bracketright
  1333 ENCODING 93
  1334 SWIDTH 600 0
  1335 DWIDTH 15 0
  1336 BBX 5 20 3 -4
  1337 BITMAP
  1338 f8
  1339 f8
  1340 18
  1341 18
  1342 18
  1343 18
  1344 18
  1345 18
  1346 18
  1347 18
  1348 18
  1349 18
  1350 18
  1351 18
  1352 18
  1353 18
  1354 18
  1355 18
  1356 f8
  1357 f8
  1358 ENDCHAR
  1359 STARTCHAR asciicircum
  1360 ENCODING 94
  1361 SWIDTH 600 0
  1362 DWIDTH 15 0
  1363 BBX 8 8 3 8
  1364 BITMAP
  1365 18
  1366 18
  1367 3c
  1368 3c
  1369 66
  1370 66
  1371 c3
  1372 c3
  1373 ENDCHAR
  1374 STARTCHAR underscore
  1375 ENCODING 95
  1376 SWIDTH 600 0
  1377 DWIDTH 15 0
  1378 BBX 15 2 0 -4
  1379 BITMAP
  1380 fffe
  1381 fffe
  1382 ENDCHAR
  1383 STARTCHAR quoteleft
  1384 ENCODING 96
  1385 SWIDTH 600 0
  1386 DWIDTH 15 0
  1387 BBX 5 6 5 9
  1388 BITMAP
  1389 e0
  1390 e0
  1391 70
  1392 30
  1393 18
  1394 08
  1395 ENDCHAR
  1396 STARTCHAR a
  1397 ENCODING 97
  1398 SWIDTH 600 0
  1399 DWIDTH 15 0
  1400 BBX 12 11 1 0
  1401 BITMAP
  1402 3f00
  1403 7f80
  1404 61c0
  1405 00c0
  1406 1fc0
  1407 7fc0
  1408 e0c0
  1409 c0c0
  1410 c1c0
  1411 fff0
  1412 7ef0
  1413 ENDCHAR
  1414 STARTCHAR b
  1415 ENCODING 98
  1416 SWIDTH 600 0
  1417 DWIDTH 15 0
  1418 BBX 13 16 0 0
  1419 BITMAP
  1420 f000
  1421 f000
  1422 3000
  1423 3000
  1424 3000
  1425 37c0
  1426 3ff0
  1427 3c70
  1428 3838
  1429 3018
  1430 3018
  1431 3018
  1432 3838
  1433 3c70
  1434 fff0
  1435 f7c0
  1436 ENDCHAR
  1437 STARTCHAR c
  1438 ENCODING 99
  1439 SWIDTH 600 0
  1440 DWIDTH 15 0
  1441 BBX 13 11 1 0
  1442 BITMAP
  1443 1fb0
  1444 7ff0
  1445 70f0
  1446 e070
  1447 c030
  1448 c000
  1449 c000
  1450 e000
  1451 7038
  1452 7ff8
  1453 1fe0
  1454 ENDCHAR
  1455 STARTCHAR d
  1456 ENCODING 100
  1457 SWIDTH 600 0
  1458 DWIDTH 15 0
  1459 BBX 13 16 1 0
  1460 BITMAP
  1461 01e0
  1462 01e0
  1463 0060
  1464 0060
  1465 0060
  1466 1f60
  1467 7fe0
  1468 71e0
  1469 e0e0
  1470 c060
  1471 c060
  1472 c060
  1473 e0e0
  1474 71e0
  1475 7ff8
  1476 1f78
  1477 ENDCHAR
  1478 STARTCHAR e
  1479 ENCODING 101
  1480 SWIDTH 600 0
  1481 DWIDTH 15 0
  1482 BBX 12 11 1 0
  1483 BITMAP
  1484 1f80
  1485 7fe0
  1486 70e0
  1487 e070
  1488 c030
  1489 fff0
  1490 fff0
  1491 e000
  1492 7070
  1493 7ff0
  1494 1fc0
  1495 ENDCHAR
  1496 STARTCHAR f
  1497 ENCODING 102
  1498 SWIDTH 600 0
  1499 DWIDTH 15 0
  1500 BBX 11 16 2 0
  1501 BITMAP
  1502 07e0
  1503 0fe0
  1504 1c00
  1505 1800
  1506 1800
  1507 ffc0
  1508 ffc0
  1509 1800
  1510 1800
  1511 1800
  1512 1800
  1513 1800
  1514 1800
  1515 1800
  1516 ffc0
  1517 ffc0
  1518 ENDCHAR
  1519 STARTCHAR g
  1520 ENCODING 103
  1521 SWIDTH 600 0
  1522 DWIDTH 15 0
  1523 BBX 13 16 1 -5
  1524 BITMAP
  1525 1f78
  1526 7ff8
  1527 71e0
  1528 e0e0
  1529 c060
  1530 c060
  1531 c060
  1532 e0e0
  1533 71e0
  1534 7fe0
  1535 1f60
  1536 0060
  1537 0060
  1538 00e0
  1539 3fc0
  1540 3f80
  1541 ENDCHAR
  1542 STARTCHAR h
  1543 ENCODING 104
  1544 SWIDTH 600 0
  1545 DWIDTH 15 0
  1546 BBX 14 16 0 0
  1547 BITMAP
  1548 f000
  1549 f000
  1550 3000
  1551 3000
  1552 3000
  1553 37c0
  1554 3fe0
  1555 3c70
  1556 3830
  1557 3030
  1558 3030
  1559 3030
  1560 3030
  1561 3030
  1562 fcfc
  1563 fcfc
  1564 ENDCHAR
  1565 STARTCHAR i
  1566 ENCODING 105
  1567 SWIDTH 600 0
  1568 DWIDTH 15 0
  1569 BBX 10 16 2 0
  1570 BITMAP
  1571 1c00
  1572 1c00
  1573 1c00
  1574 0000
  1575 0000
  1576 7c00
  1577 7c00
  1578 0c00
  1579 0c00
  1580 0c00
  1581 0c00
  1582 0c00
  1583 0c00
  1584 0c00
  1585 ffc0
  1586 ffc0
  1587 ENDCHAR
  1588 STARTCHAR j
  1589 ENCODING 106
  1590 SWIDTH 600 0
  1591 DWIDTH 15 0
  1592 BBX 8 21 2 -5
  1593 BITMAP
  1594 0e
  1595 0e
  1596 0e
  1597 00
  1598 00
  1599 ff
  1600 ff
  1601 03
  1602 03
  1603 03
  1604 03
  1605 03
  1606 03
  1607 03
  1608 03
  1609 03
  1610 03
  1611 03
  1612 07
  1613 fe
  1614 fc
  1615 ENDCHAR
  1616 STARTCHAR k
  1617 ENCODING 107
  1618 SWIDTH 600 0
  1619 DWIDTH 15 0
  1620 BBX 13 16 1 0
  1621 BITMAP
  1622 f000
  1623 f000
  1624 3000
  1625 3000
  1626 3000
  1627 31e0
  1628 31e0
  1629 3380
  1630 3700
  1631 3e00
  1632 3e00
  1633 3700
  1634 3380
  1635 31c0
  1636 f1f8
  1637 f1f8
  1638 ENDCHAR
  1639 STARTCHAR l
  1640 ENCODING 108
  1641 SWIDTH 600 0
  1642 DWIDTH 15 0
  1643 BBX 10 16 2 0
  1644 BITMAP
  1645 7c00
  1646 7c00
  1647 0c00
  1648 0c00
  1649 0c00
  1650 0c00
  1651 0c00
  1652 0c00
  1653 0c00
  1654 0c00
  1655 0c00
  1656 0c00
  1657 0c00
  1658 0c00
  1659 ffc0
  1660 ffc0
  1661 ENDCHAR
  1662 STARTCHAR m
  1663 ENCODING 109
  1664 SWIDTH 600 0
  1665 DWIDTH 15 0
  1666 BBX 16 11 0 0
  1667 BITMAP
  1668 ef78
  1669 fffc
  1670 39cc
  1671 318c
  1672 318c
  1673 318c
  1674 318c
  1675 318c
  1676 318c
  1677 f9ef
  1678 f9ef
  1679 ENDCHAR
  1680 STARTCHAR n
  1681 ENCODING 110
  1682 SWIDTH 600 0
  1683 DWIDTH 15 0
  1684 BBX 14 11 0 0
  1685 BITMAP
  1686 f3c0
  1687 f7e0
  1688 3c70
  1689 3830
  1690 3030
  1691 3030
  1692 3030
  1693 3030
  1694 3030
  1695 fcfc
  1696 fcfc
  1697 ENDCHAR
  1698 STARTCHAR o
  1699 ENCODING 111
  1700 SWIDTH 600 0
  1701 DWIDTH 15 0
  1702 BBX 12 11 1 0
  1703 BITMAP
  1704 1f80
  1705 7fe0
  1706 70e0
  1707 e070
  1708 c030
  1709 c030
  1710 c030
  1711 e070
  1712 70e0
  1713 7fe0
  1714 1f80
  1715 ENDCHAR
  1716 STARTCHAR p
  1717 ENCODING 112
  1718 SWIDTH 600 0
  1719 DWIDTH 15 0
  1720 BBX 13 16 0 -5
  1721 BITMAP
  1722 f7c0
  1723 fff0
  1724 3c70
  1725 3838
  1726 3018
  1727 3018
  1728 3018
  1729 3838
  1730 3c70
  1731 3ff0
  1732 37c0
  1733 3000
  1734 3000
  1735 3000
  1736 fe00
  1737 fe00
  1738 ENDCHAR
  1739 STARTCHAR q
  1740 ENCODING 113
  1741 SWIDTH 600 0
  1742 DWIDTH 15 0
  1743 BBX 13 16 1 -5
  1744 BITMAP
  1745 1f78
  1746 7ff8
  1747 71e0
  1748 e0e0
  1749 c060
  1750 c060
  1751 c060
  1752 e0e0
  1753 71e0
  1754 7fe0
  1755 1f60
  1756 0060
  1757 0060
  1758 0060
  1759 03f8
  1760 03f8
  1761 ENDCHAR
  1762 STARTCHAR r
  1763 ENCODING 114
  1764 SWIDTH 600 0
  1765 DWIDTH 15 0
  1766 BBX 12 11 1 0
  1767 BITMAP
  1768 79e0
  1769 7ff0
  1770 1e30
  1771 1c00
  1772 1800
  1773 1800
  1774 1800
  1775 1800
  1776 1800
  1777 ffc0
  1778 ffc0
  1779 ENDCHAR
  1780 STARTCHAR s
  1781 ENCODING 115
  1782 SWIDTH 600 0
  1783 DWIDTH 15 0
  1784 BBX 11 11 2 0
  1785 BITMAP
  1786 3ec0
  1787 7fc0
  1788 e1c0
  1789 e0c0
  1790 7c00
  1791 1f00
  1792 07c0
  1793 c0e0
  1794 e0e0
  1795 ffc0
  1796 df80
  1797 ENDCHAR
  1798 STARTCHAR t
  1799 ENCODING 116
  1800 SWIDTH 600 0
  1801 DWIDTH 15 0
  1802 BBX 11 15 1 0
  1803 BITMAP
  1804 3000
  1805 3000
  1806 3000
  1807 3000
  1808 ffc0
  1809 ffc0
  1810 3000
  1811 3000
  1812 3000
  1813 3000
  1814 3000
  1815 3000
  1816 38e0
  1817 1fe0
  1818 0f80
  1819 ENDCHAR
  1820 STARTCHAR u
  1821 ENCODING 117
  1822 SWIDTH 600 0
  1823 DWIDTH 15 0
  1824 BBX 14 11 0 0
  1825 BITMAP
  1826 f0f0
  1827 f0f0
  1828 3030
  1829 3030
  1830 3030
  1831 3030
  1832 3030
  1833 3030
  1834 3870
  1835 1ffc
  1836 0fbc
  1837 ENDCHAR
  1838 STARTCHAR v
  1839 ENCODING 118
  1840 SWIDTH 600 0
  1841 DWIDTH 15 0
  1842 BBX 14 11 0 0
  1843 BITMAP
  1844 fcfc
  1845 fcfc
  1846 3030
  1847 3030
  1848 1860
  1849 1860
  1850 0cc0
  1851 0cc0
  1852 0780
  1853 0780
  1854 0300
  1855 ENDCHAR
  1856 STARTCHAR w
  1857 ENCODING 119
  1858 SWIDTH 600 0
  1859 DWIDTH 15 0
  1860 BBX 14 11 0 0
  1861 BITMAP
  1862 f87c
  1863 f87c
  1864 6318
  1865 6318
  1866 3330
  1867 37b0
  1868 37b0
  1869 3cf0
  1870 1ce0
  1871 1860
  1872 1860
  1873 ENDCHAR
  1874 STARTCHAR x
  1875 ENCODING 120
  1876 SWIDTH 600 0
  1877 DWIDTH 15 0
  1878 BBX 12 11 1 0
  1879 BITMAP
  1880 f9f0
  1881 f9f0
  1882 30c0
  1883 1980
  1884 0f00
  1885 0600
  1886 0f00
  1887 1980
  1888 30c0
  1889 f9f0
  1890 f9f0
  1891 ENDCHAR
  1892 STARTCHAR y
  1893 ENCODING 121
  1894 SWIDTH 600 0
  1895 DWIDTH 15 0
  1896 BBX 14 16 0 -5
  1897 BITMAP
  1898 f87c
  1899 f87c
  1900 3030
  1901 3870
  1902 1860
  1903 1ce0
  1904 0cc0
  1905 0dc0
  1906 0780
  1907 0780
  1908 0300
  1909 0700
  1910 0600
  1911 0e00
  1912 7f00
  1913 7f00
  1914 ENDCHAR
  1915 STARTCHAR z
  1916 ENCODING 122
  1917 SWIDTH 600 0
  1918 DWIDTH 15 0
  1919 BBX 10 11 2 0
  1920 BITMAP
  1921 ffc0
  1922 ffc0
  1923 c380
  1924 c700
  1925 0e00
  1926 1c00
  1927 3800
  1928 70c0
  1929 e0c0
  1930 ffc0
  1931 ffc0
  1932 ENDCHAR
  1933 STARTCHAR braceleft
  1934 ENCODING 123
  1935 SWIDTH 600 0
  1936 DWIDTH 15 0
  1937 BBX 7 20 4 -4
  1938 BITMAP
  1939 0e
  1940 18
  1941 30
  1942 30
  1943 30
  1944 30
  1945 30
  1946 30
  1947 70
  1948 e0
  1949 70
  1950 30
  1951 30
  1952 30
  1953 30
  1954 30
  1955 30
  1956 30
  1957 18
  1958 0e
  1959 ENDCHAR
  1960 STARTCHAR bar
  1961 ENCODING 124
  1962 SWIDTH 600 0
  1963 DWIDTH 15 0
  1964 BBX 2 18 6 -2
  1965 BITMAP
  1966 c0
  1967 c0
  1968 c0
  1969 c0
  1970 c0
  1971 c0
  1972 c0
  1973 c0
  1974 c0
  1975 c0
  1976 c0
  1977 c0
  1978 c0
  1979 c0
  1980 c0
  1981 c0
  1982 c0
  1983 c0
  1984 ENDCHAR
  1985 STARTCHAR braceright
  1986 ENCODING 125
  1987 SWIDTH 600 0
  1988 DWIDTH 15 0
  1989 BBX 7 20 3 -4
  1990 BITMAP
  1991 e0
  1992 30
  1993 18
  1994 18
  1995 18
  1996 18
  1997 18
  1998 18
  1999 1c
  2000 0e
  2001 1c
  2002 18
  2003 18
  2004 18
  2005 18
  2006 18
  2007 18
  2008 18
  2009 30
  2010 e0
  2011 ENDCHAR
  2012 STARTCHAR asciitilde
  2013 ENCODING 126
  2014 SWIDTH 600 0
  2015 DWIDTH 15 0
  2016 BBX 12 4 1 5
  2017 BITMAP
  2018 3c30
  2019 7e70
  2020 e7e0
  2021 c3c0
  2022 ENDCHAR
  2023 STARTCHAR lless
  2024 ENCODING 145
  2025 SWIDTH 600 0
  2026 DWIDTH 15 0
  2027 BBX 8 16 4 -1
  2028 BITMAP
  2029 01
  2030 03
  2031 06
  2032 0c
  2033 19
  2034 33
  2035 66
  2036 cc
  2037 cc
  2038 66
  2039 33
  2040 19
  2041 0c
  2042 06
  2043 03
  2044 01
  2045 ENDCHAR
  2046 STARTCHAR unlhd
  2047 ENCODING 146
  2048 SWIDTH 600 0
  2049 DWIDTH 15 0
  2050 BBX 11 14 1 -2
  2051 BITMAP
  2052 0060
  2053 01e0
  2054 07e0
  2055 1e60
  2056 7860
  2057 e060
  2058 e060
  2059 7860
  2060 1e60
  2061 07e0
  2062 01e0
  2063 0060
  2064 0000
  2065 ffe0
  2066 ENDCHAR
  2067 STARTCHAR lhd
  2068 ENCODING 147
  2069 SWIDTH 600 0
  2070 DWIDTH 15 0
  2071 BBX 11 12 1 0
  2072 BITMAP
  2073 0060
  2074 01e0
  2075 07e0
  2076 1e60
  2077 7860
  2078 e060
  2079 e060
  2080 7860
  2081 1e60
  2082 07e0
  2083 01e0
  2084 0060
  2085 ENDCHAR
  2086 STARTCHAR rhd
  2087 ENCODING 148
  2088 SWIDTH 600 0
  2089 DWIDTH 15 0
  2090 BBX 11 12 1 0
  2091 BITMAP
  2092 c000
  2093 f000
  2094 bc00
  2095 8f00
  2096 83c0
  2097 80e0
  2098 80e0
  2099 83c0
  2100 8f00
  2101 bc00
  2102 f000
  2103 c000
  2104 ENDCHAR
  2105 STARTCHAR tturnstile
  2106 ENCODING 149
  2107 SWIDTH 600 0
  2108 DWIDTH 15 0
  2109 BBX 11 14 1 0
  2110 BITMAP
  2111 d800
  2112 d800
  2113 d800
  2114 d800
  2115 d800
  2116 d800
  2117 ffe0
  2118 ffe0
  2119 d800
  2120 d800
  2121 d800
  2122 d800
  2123 d800
  2124 d800
  2125 ENDCHAR
  2126 STARTCHAR langle
  2127 ENCODING 150
  2128 SWIDTH 600 0
  2129 DWIDTH 15 0
  2130 BBX 5 20 4 -4
  2131 BITMAP
  2132 18
  2133 18
  2134 30
  2135 30
  2136 30
  2137 60
  2138 60
  2139 60
  2140 c0
  2141 c0
  2142 c0
  2143 60
  2144 60
  2145 60
  2146 30
  2147 30
  2148 30
  2149 18
  2150 18
  2151 18
  2152 ENDCHAR
  2153 STARTCHAR rangle
  2154 ENCODING 151
  2155 SWIDTH 600 0
  2156 DWIDTH 15 0
  2157 BBX 5 20 3 -4
  2158 BITMAP
  2159 c0
  2160 c0
  2161 60
  2162 60
  2163 60
  2164 30
  2165 30
  2166 30
  2167 18
  2168 18
  2169 18
  2170 30
  2171 30
  2172 30
  2173 60
  2174 60
  2175 60
  2176 c0
  2177 c0
  2178 c0
  2179 ENDCHAR
  2180 STARTCHAR choice
  2181 ENCODING 152
  2182 SWIDTH 600 0
  2183 DWIDTH 15 0
  2184 BBX 6 15 4 -1
  2185 BITMAP
  2186 fc
  2187 cc
  2188 cc
  2189 cc
  2190 cc
  2191 cc
  2192 cc
  2193 cc
  2194 cc
  2195 cc
  2196 cc
  2197 cc
  2198 cc
  2199 cc
  2200 fc
  2201 ENDCHAR
  2202 STARTCHAR top
  2203 ENCODING 153
  2204 SWIDTH 600 0
  2205 DWIDTH 15 0
  2206 BBX 12 10 1 2
  2207 BITMAP
  2208 fff0
  2209 fff0
  2210 0600
  2211 0600
  2212 0600
  2213 0600
  2214 0600
  2215 0600
  2216 0600
  2217 0600
  2218 ENDCHAR
  2219 STARTCHAR Or
  2220 ENCODING 154
  2221 SWIDTH 600 0
  2222 DWIDTH 15 0
  2223 BBX 12 15 1 -1
  2224 BITMAP
  2225 c030
  2226 4020
  2227 6060
  2228 6060
  2229 2040
  2230 30c0
  2231 30c0
  2232 1080
  2233 1980
  2234 1980
  2235 0900
  2236 0f00
  2237 0f00
  2238 0600
  2239 0600
  2240 ENDCHAR
  2241 STARTCHAR ocdot
  2242 ENCODING 155
  2243 SWIDTH 600 0
  2244 DWIDTH 15 0
  2245 BBX 14 14 1 0
  2246 BITMAP
  2247 0780
  2248 1fe0
  2249 3030
  2250 6018
  2251 4008
  2252 c00c
  2253 c30c
  2254 c30c
  2255 c00c
  2256 4008
  2257 6018
  2258 3030
  2259 1fe0
  2260 0780
  2261 ENDCHAR
  2262 STARTCHAR iota
  2263 ENCODING 156
  2264 SWIDTH 600 0
  2265 DWIDTH 15 0
  2266 BBX 3 8 1 0
  2267 BITMAP
  2268 e0
  2269 60
  2270 60
  2271 60
  2272 c0
  2273 c0
  2274 c0
  2275 e0
  2276 ENDCHAR
  2277 STARTCHAR upsilon
  2278 ENCODING 157
  2279 SWIDTH 600 0
  2280 DWIDTH 15 0
  2281 BBX 9 8 1 0
  2282 BITMAP
  2283 6300
  2284 f180
  2285 3180
  2286 3180
  2287 6100
  2288 6300
  2289 6200
  2290 3c00
  2291 ENDCHAR
  2292 STARTCHAR Upsilon
  2293 ENCODING 158
  2294 SWIDTH 600 0
  2295 DWIDTH 15 0
  2296 BBX 10 15 1 0
  2297 BITMAP
  2298 e0c0
  2299 3100
  2300 1a00
  2301 0e00
  2302 0600
  2303 0600
  2304 0600
  2305 0600
  2306 0600
  2307 0600
  2308 0600
  2309 0600
  2310 0600
  2311 0600
  2312 0f00
  2313 ENDCHAR
  2314 STARTCHAR Xi
  2315 ENCODING 159
  2316 SWIDTH 600 0
  2317 DWIDTH 15 0
  2318 BBX 12 15 1 0
  2319 BITMAP
  2320 fff0
  2321 fff0
  2322 c030
  2323 0000
  2324 0000
  2325 1080
  2326 1f80
  2327 1f80
  2328 1080
  2329 0000
  2330 0000
  2331 0000
  2332 c030
  2333 fff0
  2334 fff0
  2335 ENDCHAR
  2336 STARTCHAR space2
  2337 ENCODING 160
  2338 SWIDTH 600 0
  2339 DWIDTH 15 0
  2340 BBX 10 1 1 0
  2341 BITMAP
  2342 f3c0
  2343 ENDCHAR
  2344 STARTCHAR Gamma
  2345 ENCODING 161
  2346 SWIDTH 600 0
  2347 DWIDTH 15 0
  2348 BBX 10 15 1 0
  2349 BITMAP
  2350 ffc0
  2351 6040
  2352 6000
  2353 6000
  2354 6000
  2355 6000
  2356 6000
  2357 6000
  2358 6000
  2359 6000
  2360 6000
  2361 6000
  2362 6000
  2363 6000
  2364 f800
  2365 ENDCHAR
  2366 STARTCHAR Delta
  2367 ENCODING 162
  2368 SWIDTH 600 0
  2369 DWIDTH 15 0
  2370 BBX 12 15 1 0
  2371 BITMAP
  2372 0600
  2373 0600
  2374 0e00
  2375 0f00
  2376 1f00
  2377 1b00
  2378 1380
  2379 3180
  2380 3180
  2381 21c0
  2382 60c0
  2383 60c0
  2384 c0e0
  2385 c060
  2386 fff0
  2387 ENDCHAR
  2388 STARTCHAR Theta
  2389 ENCODING 163
  2390 SWIDTH 600 0
  2391 DWIDTH 15 0
  2392 BBX 12 15 1 0
  2393 BITMAP
  2394 1f80
  2395 3fc0
  2396 6060
  2397 c030
  2398 c030
  2399 d0b0
  2400 dfb0
  2401 dfb0
  2402 d0b0
  2403 c030
  2404 c030
  2405 c030
  2406 6060
  2407 3fc0
  2408 1f80
  2409 ENDCHAR
  2410 STARTCHAR Lambda
  2411 ENCODING 164
  2412 SWIDTH 600 0
  2413 DWIDTH 15 0
  2414 BBX 12 15 1 0
  2415 BITMAP
  2416 0600
  2417 0600
  2418 0e00
  2419 0f00
  2420 1f00
  2421 1b00
  2422 1380
  2423 3180
  2424 3180
  2425 21c0
  2426 60c0
  2427 60c0
  2428 c0e0
  2429 c060
  2430 e0f0
  2431 ENDCHAR
  2432 STARTCHAR Pi
  2433 ENCODING 165
  2434 SWIDTH 600 0
  2435 DWIDTH 15 0
  2436 BBX 13 15 1 0
  2437 BITMAP
  2438 fff8
  2439 3060
  2440 3060
  2441 3060
  2442 3060
  2443 3060
  2444 3060
  2445 3060
  2446 3060
  2447 3060
  2448 3060
  2449 3060
  2450 3060
  2451 3060
  2452 78f0
  2453 ENDCHAR
  2454 STARTCHAR Sigma
  2455 ENCODING 166
  2456 SWIDTH 600 0
  2457 DWIDTH 15 0
  2458 BBX 13 15 1 0
  2459 BITMAP
  2460 fff8
  2461 e008
  2462 7000
  2463 3800
  2464 1c00
  2465 0e00
  2466 0700
  2467 0300
  2468 0600
  2469 0c00
  2470 1800
  2471 3000
  2472 6008
  2473 fff0
  2474 ffe0
  2475 ENDCHAR
  2476 STARTCHAR Phi
  2477 ENCODING 167
  2478 SWIDTH 600 0
  2479 DWIDTH 15 0
  2480 BBX 12 14 1 0
  2481 BITMAP
  2482 0f00
  2483 0600
  2484 0600
  2485 1f80
  2486 76e0
  2487 6660
  2488 c630
  2489 8610
  2490 c630
  2491 6660
  2492 76e0
  2493 1f80
  2494 0600
  2495 0f00
  2496 ENDCHAR
  2497 STARTCHAR Psi
  2498 ENCODING 168
  2499 SWIDTH 600 0
  2500 DWIDTH 15 0
  2501 BBX 12 14 1 0
  2502 BITMAP
  2503 0f00
  2504 0600
  2505 0600
  2506 c630
  2507 6660
  2508 6660
  2509 6660
  2510 6660
  2511 6660
  2512 36c0
  2513 1f80
  2514 0f00
  2515 0600
  2516 0f00
  2517 ENDCHAR
  2518 STARTCHAR Omega
  2519 ENCODING 169
  2520 SWIDTH 600 0
  2521 DWIDTH 15 0
  2522 BBX 12 14 1 0
  2523 BITMAP
  2524 0f00
  2525 3fc0
  2526 70e0
  2527 6060
  2528 c030
  2529 c030
  2530 c030
  2531 c030
  2532 6060
  2533 6060
  2534 30c0
  2535 1980
  2536 f9f0
  2537 f9f0
  2538 ENDCHAR
  2539 STARTCHAR alpha
  2540 ENCODING 170
  2541 SWIDTH 600 0
  2542 DWIDTH 15 0
  2543 BBX 13 10 1 0
  2544 BITMAP
  2545 1f18
  2546 3f98
  2547 71b0
  2548 61f0
  2549 e0e0
  2550 c0c0
  2551 c0e0
  2552 c1f0
  2553 7fb8
  2554 3e18
  2555 ENDCHAR
  2556 STARTCHAR beta
  2557 ENCODING 171
  2558 SWIDTH 600 0
  2559 DWIDTH 15 0
  2560 BBX 11 16 1 -3
  2561 BITMAP
  2562 0780
  2563 0fc0
  2564 0ce0
  2565 1860
  2566 1860
  2567 30c0
  2568 33c0
  2569 33c0
  2570 30e0
  2571 6060
  2572 6060
  2573 60e0
  2574 67c0
  2575 c700
  2576 c000
  2577 c000
  2578 ENDCHAR
  2579 STARTCHAR gamma
  2580 ENCODING 172
  2581 SWIDTH 600 0
  2582 DWIDTH 15 0
  2583 BBX 10 13 1 -3
  2584 BITMAP
  2585 6000
  2586 f0c0
  2587 9bc0
  2588 0f00
  2589 0e00
  2590 1c00
  2591 1e00
  2592 3600
  2593 3600
  2594 6600
  2595 6600
  2596 3c00
  2597 1800
  2598 ENDCHAR
  2599 STARTCHAR delta
  2600 ENCODING 173
  2601 SWIDTH 600 0
  2602 DWIDTH 15 0
  2603 BBX 10 14 2 0
  2604 BITMAP
  2605 1e00
  2606 3100
  2607 3000
  2608 3000
  2609 1c00
  2610 0f00
  2611 3f80
  2612 71c0
  2613 60c0
  2614 c0c0
  2615 c180
  2616 e380
  2617 7f00
  2618 3c00
  2619 ENDCHAR
  2620 STARTCHAR epsilon
  2621 ENCODING 174
  2622 SWIDTH 600 0
  2623 DWIDTH 15 0
  2624 BBX 7 12 1 0
  2625 BITMAP
  2626 1c
  2627 3e
  2628 72
  2629 60
  2630 38
  2631 38
  2632 60
  2633 c0
  2634 c0
  2635 e6
  2636 7e
  2637 3c
  2638 ENDCHAR
  2639 STARTCHAR zeta
  2640 ENCODING 175
  2641 SWIDTH 600 0
  2642 DWIDTH 15 0
  2643 BBX 8 16 1 -3
  2644 BITMAP
  2645 08
  2646 0c
  2647 1f
  2648 30
  2649 60
  2650 60
  2651 c0
  2652 c0
  2653 c0
  2654 c0
  2655 c0
  2656 60
  2657 3c
  2658 0e
  2659 06
  2660 06
  2661 ENDCHAR
  2662 STARTCHAR eta
  2663 ENCODING 176
  2664 SWIDTH 600 0
  2665 DWIDTH 15 0
  2666 BBX 9 12 1 -4
  2667 BITMAP
  2668 6600
  2669 ef00
  2670 b980
  2671 3180
  2672 3180
  2673 6300
  2674 6300
  2675 6300
  2676 0600
  2677 0600
  2678 0600
  2679 0600
  2680 ENDCHAR
  2681 STARTCHAR theta
  2682 ENCODING 177
  2683 SWIDTH 600 0
  2684 DWIDTH 15 0
  2685 BBX 10 12 1 0
  2686 BITMAP
  2687 0780
  2688 0cc0
  2689 0cc0
  2690 0cc0
  2691 0780
  2692 6180
  2693 b300
  2694 3300
  2695 3300
  2696 6600
  2697 6600
  2698 3c00
  2699 ENDCHAR
  2700 STARTCHAR kappa
  2701 ENCODING 178
  2702 SWIDTH 600 0
  2703 DWIDTH 15 0
  2704 BBX 9 8 1 0
  2705 BITMAP
  2706 c780
  2707 6c00
  2708 3800
  2709 3800
  2710 3c00
  2711 3400
  2712 6680
  2713 c300
  2714 ENDCHAR
  2715 STARTCHAR lambda
  2716 ENCODING 179
  2717 SWIDTH 600 0
  2718 DWIDTH 15 0
  2719 BBX 9 13 1 0
  2720 BITMAP
  2721 6000
  2722 3000
  2723 1800
  2724 1800
  2725 0c00
  2726 0c00
  2727 1c00
  2728 1600
  2729 3600
  2730 2600
  2731 6300
  2732 4300
  2733 c180
  2734 ENDCHAR
  2735 STARTCHAR mu
  2736 ENCODING 180
  2737 SWIDTH 600 0
  2738 DWIDTH 15 0
  2739 BBX 9 12 1 -4
  2740 BITMAP
  2741 3180
  2742 3180
  2743 3180
  2744 3180
  2745 6300
  2746 6300
  2747 7f80
  2748 7f80
  2749 c000
  2750 c000
  2751 c000
  2752 c000
  2753 ENDCHAR
  2754 STARTCHAR nu
  2755 ENCODING 181
  2756 SWIDTH 600 0
  2757 DWIDTH 15 0
  2758 BBX 8 8 1 0
  2759 BITMAP
  2760 63
  2761 b3
  2762 33
  2763 33
  2764 66
  2765 66
  2766 7c
  2767 78
  2768 ENDCHAR
  2769 STARTCHAR xi
  2770 ENCODING 182
  2771 SWIDTH 600 0
  2772 DWIDTH 15 0
  2773 BBX 7 15 1 -2
  2774 BITMAP
  2775 1e
  2776 30
  2777 60
  2778 60
  2779 60
  2780 3e
  2781 30
  2782 60
  2783 c0
  2784 c0
  2785 c0
  2786 7c
  2787 06
  2788 06
  2789 0c
  2790 ENDCHAR
  2791 STARTCHAR pi
  2792 ENCODING 183
  2793 SWIDTH 600 0
  2794 DWIDTH 15 0
  2795 BBX 11 9 1 0
  2796 BITMAP
  2797 3c20
  2798 ffe0
  2799 9bc0
  2800 1980
  2801 1980
  2802 3180
  2803 3180
  2804 3180
  2805 3180
  2806 ENDCHAR
  2807 STARTCHAR rho
  2808 ENCODING 184
  2809 SWIDTH 600 0
  2810 DWIDTH 15 0
  2811 BBX 8 12 1 -4
  2812 BITMAP
  2813 0c
  2814 1e
  2815 33
  2816 63
  2817 63
  2818 66
  2819 3c
  2820 38
  2821 30
  2822 30
  2823 60
  2824 c0
  2825 ENDCHAR
  2826 STARTCHAR sigma
  2827 ENCODING 185
  2828 SWIDTH 600 0
  2829 DWIDTH 15 0
  2830 BBX 9 7 1 0
  2831 BITMAP
  2832 1f80
  2833 3e00
  2834 6600
  2835 c600
  2836 c600
  2837 cc00
  2838 7800
  2839 ENDCHAR
  2840 STARTCHAR tau
  2841 ENCODING 186
  2842 SWIDTH 600 0
  2843 DWIDTH 15 0
  2844 BBX 9 9 1 0
  2845 BITMAP
  2846 7f80
  2847 ff00
  2848 9800
  2849 1800
  2850 1800
  2851 3000
  2852 3000
  2853 3200
  2854 1c00
  2855 ENDCHAR
  2856 STARTCHAR phi
  2857 ENCODING 187
  2858 SWIDTH 600 0
  2859 DWIDTH 15 0
  2860 BBX 10 12 1 -4
  2861 BITMAP
  2862 0700
  2863 4f80
  2864 9cc0
  2865 98c0
  2866 98c0
  2867 d8c0
  2868 7f80
  2869 1f00
  2870 0c00
  2871 0c00
  2872 0c00
  2873 0c00
  2874 ENDCHAR
  2875 STARTCHAR chi
  2876 ENCODING 188
  2877 SWIDTH 600 0
  2878 DWIDTH 15 0
  2879 BBX 10 12 1 -4
  2880 BITMAP
  2881 60c0
  2882 3180
  2883 3180
  2884 1b00
  2885 1b00
  2886 1e00
  2887 0c00
  2888 1c00
  2889 3c00
  2890 6600
  2891 6600
  2892 c300
  2893 ENDCHAR
  2894 STARTCHAR psi
  2895 ENCODING 189
  2896 SWIDTH 600 0
  2897 DWIDTH 15 0
  2898 BBX 11 13 1 -3
  2899 BITMAP
  2900 0600
  2901 0600
  2902 2640
  2903 e660
  2904 6660
  2905 6660
  2906 6660
  2907 66c0
  2908 36c0
  2909 1f00
  2910 0600
  2911 0600
  2912 0600
  2913 ENDCHAR
  2914 STARTCHAR omega
  2915 ENCODING 190
  2916 SWIDTH 600 0
  2917 DWIDTH 15 0
  2918 BBX 12 7 1 0
  2919 BITMAP
  2920 6060
  2921 c630
  2922 c630
  2923 c630
  2924 c630
  2925 6660
  2926 1f80
  2927 ENDCHAR
  2928 STARTCHAR not
  2929 ENCODING 191
  2930 SWIDTH 666 0
  2931 DWIDTH 15 0
  2932 BBX 8 6 2 1
  2933 BITMAP
  2934 ff
  2935 ff
  2936 03
  2937 03
  2938 03
  2939 03
  2940 ENDCHAR
  2941 STARTCHAR and
  2942 ENCODING 192
  2943 SWIDTH 600 0
  2944 DWIDTH 15 0
  2945 BBX 10 9 2 0
  2946 BITMAP
  2947 0c00
  2948 1e00
  2949 1e00
  2950 3300
  2951 3300
  2952 6180
  2953 6180
  2954 c0c0
  2955 c0c0
  2956 ENDCHAR
  2957 STARTCHAR or
  2958 ENCODING 193
  2959 SWIDTH 600 0
  2960 DWIDTH 15 0
  2961 BBX 10 9 2 0
  2962 BITMAP
  2963 c0c0
  2964 c0c0
  2965 6180
  2966 6180
  2967 3300
  2968 3300
  2969 1e00
  2970 1e00
  2971 0c00
  2972 ENDCHAR
  2973 STARTCHAR forall
  2974 ENCODING 194
  2975 SWIDTH 600 0
  2976 DWIDTH 15 0
  2977 BBX 10 14 1 0
  2978 BITMAP
  2979 8040
  2980 c0c0
  2981 c0c0
  2982 4080
  2983 7f80
  2984 7f80
  2985 2100
  2986 3300
  2987 3300
  2988 1200
  2989 1e00
  2990 1e00
  2991 0c00
  2992 0c00
  2993 ENDCHAR
  2994 STARTCHAR exists
  2995 ENCODING 195
  2996 SWIDTH 600 0
  2997 DWIDTH 15 0
  2998 BBX 9 14 1 0
  2999 BITMAP
  3000 ff80
  3001 ff80
  3002 0180
  3003 0180
  3004 0180
  3005 0180
  3006 ff80
  3007 ff80
  3008 0180
  3009 0180
  3010 0180
  3011 0180
  3012 ff80
  3013 ff80
  3014 ENDCHAR
  3015 STARTCHAR And
  3016 ENCODING 196
  3017 SWIDTH 600 0
  3018 DWIDTH 15 0
  3019 BBX 12 15 1 -1
  3020 BITMAP
  3021 0600
  3022 0600
  3023 0f00
  3024 0f00
  3025 0900
  3026 1980
  3027 1980
  3028 1080
  3029 30c0
  3030 30c0
  3031 2040
  3032 6060
  3033 6060
  3034 4020
  3035 c030
  3036 ENDCHAR
  3037 STARTCHAR lceil
  3038 ENCODING 197
  3039 SWIDTH 600 0
  3040 DWIDTH 15 0
  3041 BBX 8 15 1 -1
  3042 BITMAP
  3043 ff
  3044 ff
  3045 c0
  3046 c0
  3047 c0
  3048 c0
  3049 c0
  3050 c0
  3051 c0
  3052 c0
  3053 c0
  3054 c0
  3055 c0
  3056 c0
  3057 c0
  3058 ENDCHAR
  3059 STARTCHAR rceil
  3060 ENCODING 198
  3061 SWIDTH 600 0
  3062 DWIDTH 15 0
  3063 BBX 8 15 1 -1
  3064 BITMAP
  3065 ff
  3066 ff
  3067 03
  3068 03
  3069 03
  3070 03
  3071 03
  3072 03
  3073 03
  3074 03
  3075 03
  3076 03
  3077 03
  3078 03
  3079 03
  3080 ENDCHAR
  3081 STARTCHAR lfloor
  3082 ENCODING 199
  3083 SWIDTH 600 0
  3084 DWIDTH 15 0
  3085 BBX 8 15 1 -1
  3086 BITMAP
  3087 c0
  3088 c0
  3089 c0
  3090 c0
  3091 c0
  3092 c0
  3093 c0
  3094 c0
  3095 c0
  3096 c0
  3097 c0
  3098 c0
  3099 c0
  3100 ff
  3101 ff
  3102 ENDCHAR
  3103 STARTCHAR rfloor
  3104 ENCODING 200
  3105 SWIDTH 600 0
  3106 DWIDTH 15 0
  3107 BBX 8 15 1 -1
  3108 BITMAP
  3109 03
  3110 03
  3111 03
  3112 03
  3113 03
  3114 03
  3115 03
  3116 03
  3117 03
  3118 03
  3119 03
  3120 03
  3121 03
  3122 ff
  3123 ff
  3124 ENDCHAR
  3125 STARTCHAR turnstile
  3126 ENCODING 201
  3127 SWIDTH 600 0
  3128 DWIDTH 15 0
  3129 BBX 11 14 1 0
  3130 BITMAP
  3131 c000
  3132 c000
  3133 c000
  3134 c000
  3135 c000
  3136 c000
  3137 ffe0
  3138 ffe0
  3139 c000
  3140 c000
  3141 c000
  3142 c000
  3143 c000
  3144 c000
  3145 ENDCHAR
  3146 STARTCHAR Turnstile
  3147 ENCODING 202
  3148 SWIDTH 600 0
  3149 DWIDTH 15 0
  3150 BBX 11 14 1 0
  3151 BITMAP
  3152 c000
  3153 c000
  3154 c000
  3155 c000
  3156 ffe0
  3157 ffe0
  3158 c000
  3159 c000
  3160 ffe0
  3161 ffe0
  3162 c000
  3163 c000
  3164 c000
  3165 c000
  3166 ENDCHAR
  3167 STARTCHAR lbrakk
  3168 ENCODING 203
  3169 SWIDTH 600 0
  3170 DWIDTH 15 0
  3171 BBX 8 14 1 0
  3172 BITMAP
  3173 ff
  3174 ff
  3175 d8
  3176 d8
  3177 d8
  3178 d8
  3179 d8
  3180 d8
  3181 d8
  3182 d8
  3183 d8
  3184 d8
  3185 ff
  3186 ff
  3187 ENDCHAR
  3188 STARTCHAR rbrakk
  3189 ENCODING 204
  3190 SWIDTH 600 0
  3191 DWIDTH 15 0
  3192 BBX 8 14 1 0
  3193 BITMAP
  3194 ff
  3195 ff
  3196 1b
  3197 1b
  3198 1b
  3199 1b
  3200 1b
  3201 1b
  3202 1b
  3203 1b
  3204 1b
  3205 1b
  3206 ff
  3207 ff
  3208 ENDCHAR
  3209 STARTCHAR cdot
  3210 ENCODING 205
  3211 SWIDTH 600 0
  3212 DWIDTH 15 0
  3213 BBX 3 3 1 4
  3214 BITMAP
  3215 e0
  3216 e0
  3217 e0
  3218 ENDCHAR
  3219 STARTCHAR in
  3220 ENCODING 206
  3221 SWIDTH 600 0
  3222 DWIDTH 15 0
  3223 BBX 9 12 1 0
  3224 BITMAP
  3225 1f80
  3226 3f80
  3227 6000
  3228 6000
  3229 c000
  3230 ff00
  3231 ff00
  3232 c000
  3233 6000
  3234 6000
  3235 3f80
  3236 1f80
  3237 ENDCHAR
  3238 STARTCHAR subseteq
  3239 ENCODING 207
  3240 SWIDTH 600 0
  3241 DWIDTH 15 0
  3242 BBX 11 11 1 0
  3243 BITMAP
  3244 1fe0
  3245 7fe0
  3246 e000
  3247 c000
  3248 c000
  3249 e000
  3250 7fe0
  3251 1fe0
  3252 0000
  3253 7fe0
  3254 7fe0
  3255 ENDCHAR
  3256 STARTCHAR inter
  3257 ENCODING 208
  3258 SWIDTH 600 0
  3259 DWIDTH 15 0
  3260 BBX 10 11 1 1
  3261 BITMAP
  3262 1e00
  3263 7f80
  3264 e1c0
  3265 c0c0
  3266 c0c0
  3267 c0c0
  3268 c0c0
  3269 c0c0
  3270 c0c0
  3271 c0c0
  3272 c0c0
  3273 ENDCHAR
  3274 STARTCHAR union
  3275 ENCODING 209
  3276 SWIDTH 600 0
  3277 DWIDTH 15 0
  3278 BBX 10 11 1 0
  3279 BITMAP
  3280 c0c0
  3281 c0c0
  3282 c0c0
  3283 c0c0
  3284 c0c0
  3285 c0c0
  3286 c0c0
  3287 c0c0
  3288 e1c0
  3289 7f80
  3290 1e00
  3291 ENDCHAR
  3292 STARTCHAR Inter
  3293 ENCODING 210
  3294 SWIDTH 600 0
  3295 DWIDTH 15 0
  3296 BBX 10 15 1 -1
  3297 BITMAP
  3298 1e00
  3299 7f80
  3300 e1c0
  3301 c0c0
  3302 c0c0
  3303 c0c0
  3304 c0c0
  3305 c0c0
  3306 c0c0
  3307 c0c0
  3308 c0c0
  3309 c0c0
  3310 c0c0
  3311 c0c0
  3312 c0c0
  3313 ENDCHAR
  3314 STARTCHAR Union
  3315 ENCODING 211
  3316 SWIDTH 600 0
  3317 DWIDTH 15 0
  3318 BBX 10 15 1 -1
  3319 BITMAP
  3320 c0c0
  3321 c0c0
  3322 c0c0
  3323 c0c0
  3324 c0c0
  3325 c0c0
  3326 c0c0
  3327 c0c0
  3328 c0c0
  3329 c0c0
  3330 c0c0
  3331 c0c0
  3332 e1c0
  3333 7f80
  3334 1e00
  3335 ENDCHAR
  3336 STARTCHAR sqinter
  3337 ENCODING 212
  3338 SWIDTH 600 0
  3339 DWIDTH 15 0
  3340 BBX 10 11 1 1
  3341 BITMAP
  3342 ffc0
  3343 ffc0
  3344 c0c0
  3345 c0c0
  3346 c0c0
  3347 c0c0
  3348 c0c0
  3349 c0c0
  3350 c0c0
  3351 c0c0
  3352 c0c0
  3353 ENDCHAR
  3354 STARTCHAR squnion
  3355 ENCODING 213
  3356 SWIDTH 600 0
  3357 DWIDTH 15 0
  3358 BBX 10 11 1 0
  3359 BITMAP
  3360 c0c0
  3361 c0c0
  3362 c0c0
  3363 c0c0
  3364 c0c0
  3365 c0c0
  3366 c0c0
  3367 c0c0
  3368 c0c0
  3369 ffc0
  3370 ffc0
  3371 ENDCHAR
  3372 STARTCHAR Sqinter
  3373 ENCODING 214
  3374 SWIDTH 600 0
  3375 DWIDTH 15 0
  3376 BBX 10 15 1 -1
  3377 BITMAP
  3378 ffc0
  3379 ffc0
  3380 c0c0
  3381 c0c0
  3382 c0c0
  3383 c0c0
  3384 c0c0
  3385 c0c0
  3386 c0c0
  3387 c0c0
  3388 c0c0
  3389 c0c0
  3390 c0c0
  3391 c0c0
  3392 c0c0
  3393 ENDCHAR
  3394 STARTCHAR Squnion
  3395 ENCODING 215
  3396 SWIDTH 600 0
  3397 DWIDTH 15 0
  3398 BBX 10 15 1 -1
  3399 BITMAP
  3400 c0c0
  3401 c0c0
  3402 c0c0
  3403 c0c0
  3404 c0c0
  3405 c0c0
  3406 c0c0
  3407 c0c0
  3408 c0c0
  3409 c0c0
  3410 c0c0
  3411 c0c0
  3412 c0c0
  3413 ffc0
  3414 ffc0
  3415 ENDCHAR
  3416 STARTCHAR bottom
  3417 ENCODING 216
  3418 SWIDTH 600 0
  3419 DWIDTH 15 0
  3420 BBX 12 10 1 0
  3421 BITMAP
  3422 0600
  3423 0600
  3424 0600
  3425 0600
  3426 0600
  3427 0600
  3428 0600
  3429 0600
  3430 fff0
  3431 fff0
  3432 ENDCHAR
  3433 STARTCHAR doteq
  3434 ENCODING 217
  3435 SWIDTH 600 0
  3436 DWIDTH 15 0
  3437 BBX 12 9 1 3
  3438 BITMAP
  3439 0600
  3440 0600
  3441 0000
  3442 fff0
  3443 fff0
  3444 0000
  3445 0000
  3446 fff0
  3447 fff0
  3448 ENDCHAR
  3449 STARTCHAR equiv
  3450 ENCODING 218
  3451 SWIDTH 600 0
  3452 DWIDTH 15 0
  3453 BBX 9 8 1 2
  3454 BITMAP
  3455 ff80
  3456 ff80
  3457 0000
  3458 ff80
  3459 ff80
  3460 0000
  3461 ff80
  3462 ff80
  3463 ENDCHAR
  3464 STARTCHAR noteq
  3465 ENCODING 219
  3466 SWIDTH 600 0
  3467 DWIDTH 15 0
  3468 BBX 10 12 1 0
  3469 BITMAP
  3470 0600
  3471 0600
  3472 0600
  3473 ffc0
  3474 ffc0
  3475 0c00
  3476 0c00
  3477 ffc0
  3478 ffc0
  3479 1800
  3480 1800
  3481 1800
  3482 ENDCHAR
  3483 STARTCHAR sqsubset
  3484 ENCODING 220
  3485 SWIDTH 600 0
  3486 DWIDTH 15 0
  3487 BBX 11 8 1 3
  3488 BITMAP
  3489 ffe0
  3490 ffe0
  3491 c000
  3492 c000
  3493 c000
  3494 c000
  3495 ffe0
  3496 ffe0
  3497 ENDCHAR
  3498 STARTCHAR sqsubseteq
  3499 ENCODING 221
  3500 SWIDTH 600 0
  3501 DWIDTH 15 0
  3502 BBX 11 11 1 1
  3503 BITMAP
  3504 ffe0
  3505 ffe0
  3506 c000
  3507 c000
  3508 c000
  3509 c000
  3510 ffe0
  3511 ffe0
  3512 0000
  3513 ffe0
  3514 ffe0
  3515 ENDCHAR
  3516 STARTCHAR prec
  3517 ENCODING 222
  3518 SWIDTH 600 0
  3519 DWIDTH 15 0
  3520 BBX 10 12 1 0
  3521 BITMAP
  3522 0040
  3523 00c0
  3524 0180
  3525 0300
  3526 0e00
  3527 f800
  3528 f800
  3529 0e00
  3530 0300
  3531 0180
  3532 00c0
  3533 0040
  3534 ENDCHAR
  3535 STARTCHAR preceq
  3536 ENCODING 223
  3537 SWIDTH 600 0
  3538 DWIDTH 15 0
  3539 BBX 10 14 1 -2
  3540 BITMAP
  3541 0040
  3542 00c0
  3543 0180
  3544 0300
  3545 0e00
  3546 f800
  3547 f800
  3548 0e00
  3549 0300
  3550 0180
  3551 00c0
  3552 0000
  3553 ffc0
  3554 ffc0
  3555 ENDCHAR
  3556 STARTCHAR succ
  3557 ENCODING 224
  3558 SWIDTH 600 0
  3559 DWIDTH 15 0
  3560 BBX 10 12 1 0
  3561 BITMAP
  3562 8000
  3563 c000
  3564 6000
  3565 3000
  3566 1c00
  3567 07c0
  3568 07c0
  3569 1c00
  3570 3000
  3571 6000
  3572 c000
  3573 8000
  3574 ENDCHAR
  3575 STARTCHAR approx
  3576 ENCODING 225
  3577 SWIDTH 600 0
  3578 DWIDTH 15 0
  3579 BBX 12 8 1 3
  3580 BITMAP
  3581 3800
  3582 fe30
  3583 c7f0
  3584 01c0
  3585 3800
  3586 fe30
  3587 c7f0
  3588 01c0
  3589 ENDCHAR
  3590 STARTCHAR sim
  3591 ENCODING 226
  3592 SWIDTH 600 0
  3593 DWIDTH 15 0
  3594 BBX 12 4 1 5
  3595 BITMAP
  3596 3800
  3597 fe30
  3598 c7f0
  3599 01c0
  3600 ENDCHAR
  3601 STARTCHAR simeq
  3602 ENCODING 227
  3603 SWIDTH 600 0
  3604 DWIDTH 15 0
  3605 BBX 12 7 1 4
  3606 BITMAP
  3607 3800
  3608 fe30
  3609 c7f0
  3610 01c0
  3611 0000
  3612 fff0
  3613 fff0
  3614 ENDCHAR
  3615 STARTCHAR le
  3616 ENCODING 228
  3617 SWIDTH 600 0
  3618 DWIDTH 15 0
  3619 BBX 9 12 1 0
  3620 BITMAP
  3621 0180
  3622 0700
  3623 1c00
  3624 7000
  3625 c000
  3626 7000
  3627 1c00
  3628 0700
  3629 0180
  3630 0000
  3631 ff80
  3632 ff80
  3633 ENDCHAR
  3634 STARTCHAR ccolon
  3635 ENCODING 229
  3636 SWIDTH 600 0
  3637 DWIDTH 15 0
  3638 BBX 7 10 3 1
  3639 BITMAP
  3640 c6
  3641 c6
  3642 00
  3643 00
  3644 00
  3645 00
  3646 00
  3647 00
  3648 c6
  3649 c6
  3650 ENDCHAR
  3651 STARTCHAR leftarrow
  3652 ENCODING 230
  3653 SWIDTH 666 0
  3654 DWIDTH 15 0
  3655 BBX 13 10 4 2
  3656 BITMAP
  3657 0c00
  3658 1c00
  3659 3800
  3660 7000
  3661 fff8
  3662 fff8
  3663 7000
  3664 3800
  3665 1c00
  3666 0c00
  3667 ENDCHAR
  3668 STARTCHAR midarrow
  3669 ENCODING 231
  3670 SWIDTH 600 0
  3671 DWIDTH 15 0
  3672 BBX 16 2 1 6
  3673 BITMAP
  3674 ffff
  3675 ffff
  3676 ENDCHAR
  3677 STARTCHAR rightarrow
  3678 ENCODING 232
  3679 SWIDTH 666 0
  3680 DWIDTH 15 0
  3681 BBX 13 10 1 2
  3682 BITMAP
  3683 0180
  3684 01c0
  3685 00e0
  3686 0070
  3687 fff8
  3688 fff8
  3689 0070
  3690 00e0
  3691 01c0
  3692 0180
  3693 ENDCHAR
  3694 STARTCHAR Leftarrow
  3695 ENCODING 233
  3696 SWIDTH 666 0
  3697 DWIDTH 15 0
  3698 BBX 13 14 4 0
  3699 BITMAP
  3700 0300
  3701 0700
  3702 0e00
  3703 1c00
  3704 3ff8
  3705 7ff8
  3706 e000
  3707 e000
  3708 7ff8
  3709 3ff8
  3710 1c00
  3711 0e00
  3712 0700
  3713 0300
  3714 ENDCHAR
  3715 STARTCHAR Midarrow
  3716 ENCODING 234
  3717 SWIDTH 600 0
  3718 DWIDTH 15 0
  3719 BBX 16 6 1 4
  3720 BITMAP
  3721 ffff
  3722 ffff
  3723 0000
  3724 0000
  3725 ffff
  3726 ffff
  3727 ENDCHAR
  3728 STARTCHAR Rightarrow
  3729 ENCODING 235
  3730 SWIDTH 666 0
  3731 DWIDTH 15 0
  3732 BBX 13 14 1 0
  3733 BITMAP
  3734 0600
  3735 0700
  3736 0380
  3737 01c0
  3738 ffe0
  3739 fff0
  3740 0038
  3741 0038
  3742 fff0
  3743 ffe0
  3744 01c0
  3745 0380
  3746 0700
  3747 0600
  3748 ENDCHAR
  3749 STARTCHAR bow
  3750 ENCODING 236
  3751 SWIDTH 600 0
  3752 DWIDTH 15 0
  3753 BBX 11 4 1 7
  3754 BITMAP
  3755 3f80
  3756 7fc0
  3757 e0e0
  3758 c060
  3759 ENDCHAR
  3760 STARTCHAR mapsto
  3761 ENCODING 237
  3762 SWIDTH 600 0
  3763 DWIDTH 15 0
  3764 BBX 13 10 1 2
  3765 BITMAP
  3766 0180
  3767 c1c0
  3768 c0e0
  3769 c070
  3770 fff8
  3771 fff8
  3772 c070
  3773 c0e0
  3774 c1c0
  3775 0180
  3776 ENDCHAR
  3777 STARTCHAR leadsto
  3778 ENCODING 238
  3779 SWIDTH 600 0
  3780 DWIDTH 15 0
  3781 BBX 14 10 1 2
  3782 BITMAP
  3783 00c0
  3784 00e0
  3785 0070
  3786 3c38
  3787 7efc
  3788 e7fc
  3789 c3b8
  3790 0070
  3791 00e0
  3792 00c0
  3793 ENDCHAR
  3794 STARTCHAR up
  3795 ENCODING 239
  3796 SWIDTH 600 0
  3797 DWIDTH 15 0
  3798 BBX 10 13 1 0
  3799 BITMAP
  3800 0c00
  3801 1e00
  3802 3f00
  3803 7f80
  3804 edc0
  3805 ccc0
  3806 0c00
  3807 0c00
  3808 0c00
  3809 0c00
  3810 0c00
  3811 0c00
  3812 0c00
  3813 ENDCHAR
  3814 STARTCHAR down
  3815 ENCODING 240
  3816 SWIDTH 600 0
  3817 DWIDTH 15 0
  3818 BBX 10 13 1 0
  3819 BITMAP
  3820 0c00
  3821 0c00
  3822 0c00
  3823 0c00
  3824 0c00
  3825 0c00
  3826 0c00
  3827 ccc0
  3828 edc0
  3829 7f80
  3830 3f00
  3831 1e00
  3832 0c00
  3833 ENDCHAR
  3834 STARTCHAR notin
  3835 ENCODING 241
  3836 SWIDTH 600 0
  3837 DWIDTH 15 0
  3838 BBX 9 14 1 -1
  3839 BITMAP
  3840 0180
  3841 1f80
  3842 3f80
  3843 6300
  3844 6600
  3845 c600
  3846 ff00
  3847 ff00
  3848 d800
  3849 7800
  3850 7000
  3851 3f80
  3852 7f80
  3853 6000
  3854 ENDCHAR
  3855 STARTCHAR times
  3856 ENCODING 242
  3857 SWIDTH 600 0
  3858 DWIDTH 15 0
  3859 BBX 12 11 1 0
  3860 BITMAP
  3861 c030
  3862 6060
  3863 30c0
  3864 1980
  3865 0f00
  3866 0600
  3867 0f00
  3868 1980
  3869 30c0
  3870 6060
  3871 c030
  3872 ENDCHAR
  3873 STARTCHAR oplus
  3874 ENCODING 243
  3875 SWIDTH 600 0
  3876 DWIDTH 15 0
  3877 BBX 14 14 1 0
  3878 BITMAP
  3879 0780
  3880 1fe0
  3881 3030
  3882 6318
  3883 4308
  3884 c30c
  3885 dfec
  3886 dfec
  3887 c30c
  3888 4308
  3889 6318
  3890 3030
  3891 1fe0
  3892 0780
  3893 ENDCHAR
  3894 STARTCHAR ominus
  3895 ENCODING 244
  3896 SWIDTH 600 0
  3897 DWIDTH 15 0
  3898 BBX 14 14 1 0
  3899 BITMAP
  3900 0780
  3901 1fe0
  3902 3030
  3903 6018
  3904 4008
  3905 c00c
  3906 dfec
  3907 dfec
  3908 c00c
  3909 4008
  3910 6018
  3911 3030
  3912 1fe0
  3913 0780
  3914 ENDCHAR
  3915 STARTCHAR otimes
  3916 ENCODING 245
  3917 SWIDTH 600 0
  3918 DWIDTH 15 0
  3919 BBX 14 14 1 0
  3920 BITMAP
  3921 0780
  3922 1fe0
  3923 3030
  3924 7878
  3925 5ce8
  3926 cfcc
  3927 c78c
  3928 c78c
  3929 cfcc
  3930 5ce8
  3931 7878
  3932 3030
  3933 1fe0
  3934 0780
  3935 ENDCHAR
  3936 STARTCHAR oslash
  3937 ENCODING 246
  3938 SWIDTH 600 0
  3939 DWIDTH 15 0
  3940 BBX 14 14 1 0
  3941 BITMAP
  3942 0780
  3943 1fe0
  3944 3030
  3945 6078
  3946 40e8
  3947 c1cc
  3948 c38c
  3949 c70c
  3950 ce0c
  3951 5c08
  3952 7818
  3953 3030
  3954 1fe0
  3955 0780
  3956 ENDCHAR
  3957 STARTCHAR subset
  3958 ENCODING 247
  3959 SWIDTH 600 0
  3960 DWIDTH 15 0
  3961 BBX 11 8 1 3
  3962 BITMAP
  3963 1fe0
  3964 7fe0
  3965 e000
  3966 c000
  3967 c000
  3968 e000
  3969 7fe0
  3970 1fe0
  3971 ENDCHAR
  3972 STARTCHAR infinity
  3973 ENCODING 248
  3974 SWIDTH 600 0
  3975 DWIDTH 15 0
  3976 BBX 14 8 0 2
  3977 BITMAP
  3978 3870
  3979 7cf8
  3980 e7dc
  3981 c38c
  3982 c70c
  3983 ef9c
  3984 7cf8
  3985 3870
  3986 ENDCHAR
  3987 STARTCHAR box
  3988 ENCODING 249
  3989 SWIDTH 600 0
  3990 DWIDTH 15 0
  3991 BBX 12 12 1 0
  3992 BITMAP
  3993 fff0
  3994 fff0
  3995 c030
  3996 c030
  3997 c030
  3998 c030
  3999 c030
  4000 c030
  4001 c030
  4002 c030
  4003 fff0
  4004 fff0
  4005 ENDCHAR
  4006 STARTCHAR diamond
  4007 ENCODING 250
  4008 SWIDTH 600 0
  4009 DWIDTH 15 0
  4010 BBX 13 13 1 0
  4011 BITMAP
  4012 0200
  4013 0700
  4014 0d80
  4015 18c0
  4016 3060
  4017 6030
  4018 c018
  4019 6030
  4020 3060
  4021 18c0
  4022 0d80
  4023 0700
  4024 0200
  4025 ENDCHAR
  4026 STARTCHAR circ
  4027 ENCODING 251
  4028 SWIDTH 600 0
  4029 DWIDTH 15 0
  4030 BBX 8 8 1 2
  4031 BITMAP
  4032 3c
  4033 7e
  4034 e7
  4035 c3
  4036 c3
  4037 e7
  4038 7e
  4039 3c
  4040 ENDCHAR
  4041 STARTCHAR bullet
  4042 ENCODING 252
  4043 SWIDTH 600 0
  4044 DWIDTH 15 0
  4045 BBX 8 8 1 2
  4046 BITMAP
  4047 3c
  4048 7e
  4049 ff
  4050 ff
  4051 ff
  4052 ff
  4053 7e
  4054 3c
  4055 ENDCHAR
  4056 STARTCHAR parallel
  4057 ENCODING 253
  4058 SWIDTH 600 0
  4059 DWIDTH 15 0
  4060 BBX 6 15 4 -1
  4061 BITMAP
  4062 cc
  4063 cc
  4064 cc
  4065 cc
  4066 cc
  4067 cc
  4068 cc
  4069 cc
  4070 cc
  4071 cc
  4072 cc
  4073 cc
  4074 cc
  4075 cc
  4076 cc
  4077 ENDCHAR
  4078 STARTCHAR surd
  4079 ENCODING 254
  4080 SWIDTH 600 0
  4081 DWIDTH 15 0
  4082 BBX 12 11 1 1
  4083 BITMAP
  4084 0070
  4085 0070
  4086 00c0
  4087 00c0
  4088 0180
  4089 e180
  4090 f300
  4091 3300
  4092 1e00
  4093 1e00
  4094 0c00
  4095 ENDCHAR
  4096 STARTCHAR copyright
  4097 ENCODING 255
  4098 SWIDTH 600 0
  4099 DWIDTH 15 0
  4100 BBX 14 14 1 0
  4101 BITMAP
  4102 0780
  4103 1fe0
  4104 3030
  4105 6798
  4106 4cc8
  4107 d80c
  4108 d00c
  4109 d00c
  4110 d80c
  4111 4cc8
  4112 6798
  4113 3030
  4114 1fe0
  4115 0780
  4116 ENDCHAR
  4117 ENDFONT