lib/fonts/isabelle14.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-medium-r-normal--14-140-75-75-m-90-isabelle-0
     3 SIZE 14 75 75
     4 FONTBOUNDINGBOX 10 14 4 -3
     5 STARTPROPERTIES 22
     6 FONTNAME_REGISTRY ""
     7 FOUNDRY "Isabelle"
     8 FAMILY_NAME "Fixed"
     9 WEIGHT_NAME "Medium"
    10 SLANT "R"
    11 SETWIDTH_NAME "Normal"
    12 ADD_STYLE_NAME ""
    13 PIXEL_SIZE 14
    14 POINT_SIZE 140
    15 RESOLUTION_X 75
    16 RESOLUTION_Y 75
    17 SPACING "M"
    18 AVERAGE_WIDTH 90
    19 CHARSET_REGISTRY "Isabelle"
    20 CHARSET_ENCODING "0"
    21 CHARSET_COLLECTIONS ""
    22 FULL_NAME "Fixed"
    23 COPYRIGHT "Public"
    24 FONT_ASCENT 11
    25 FONT_DESCENT 3
    26 CAP_HEIGHT 9
    27 X_HEIGHT 7
    28 ENDPROPERTIES
    29 CHARS 206
    30 STARTCHAR space
    31 ENCODING 32
    32 SWIDTH 600 0
    33 DWIDTH 9 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 9 0
    42 BBX 1 10 3 0
    43 BITMAP
    44 80
    45 80
    46 80
    47 80
    48 80
    49 80
    50 80
    51 00
    52 00
    53 80
    54 ENDCHAR
    55 STARTCHAR quotedbl
    56 ENCODING 34
    57 SWIDTH 600 0
    58 DWIDTH 9 0
    59 BBX 4 4 2 5
    60 BITMAP
    61 90
    62 90
    63 90
    64 90
    65 ENDCHAR
    66 STARTCHAR numbersign
    67 ENCODING 35
    68 SWIDTH 600 0
    69 DWIDTH 9 0
    70 BBX 5 9 2 0
    71 BITMAP
    72 50
    73 50
    74 50
    75 f8
    76 50
    77 f8
    78 50
    79 50
    80 50
    81 ENDCHAR
    82 STARTCHAR dollar
    83 ENCODING 36
    84 SWIDTH 600 0
    85 DWIDTH 9 0
    86 BBX 5 13 2 -2
    87 BITMAP
    88 20
    89 20
    90 70
    91 88
    92 80
    93 40
    94 30
    95 08
    96 88
    97 70
    98 20
    99 20
   100 20
   101 ENDCHAR
   102 STARTCHAR percent
   103 ENCODING 37
   104 SWIDTH 600 0
   105 DWIDTH 9 0
   106 BBX 7 10 1 0
   107 BITMAP
   108 60
   109 90
   110 90
   111 66
   112 18
   113 30
   114 cc
   115 12
   116 12
   117 0c
   118 ENDCHAR
   119 STARTCHAR ampersand
   120 ENCODING 38
   121 SWIDTH 600 0
   122 DWIDTH 9 0
   123 BBX 6 8 1 0
   124 BITMAP
   125 38
   126 48
   127 40
   128 40
   129 a8
   130 90
   131 98
   132 64
   133 ENDCHAR
   134 STARTCHAR quoteright
   135 ENCODING 39
   136 SWIDTH 600 0
   137 DWIDTH 9 0
   138 BBX 3 4 2 5
   139 BITMAP
   140 60
   141 60
   142 c0
   143 80
   144 ENDCHAR
   145 STARTCHAR parenleft
   146 ENCODING 40
   147 SWIDTH 600 0
   148 DWIDTH 9 0
   149 BBX 3 12 3 -2
   150 BITMAP
   151 20
   152 40
   153 40
   154 80
   155 80
   156 80
   157 80
   158 80
   159 80
   160 40
   161 40
   162 20
   163 ENDCHAR
   164 STARTCHAR parenright
   165 ENCODING 41
   166 SWIDTH 600 0
   167 DWIDTH 9 0
   168 BBX 3 12 2 -2
   169 BITMAP
   170 80
   171 40
   172 40
   173 20
   174 20
   175 20
   176 20
   177 20
   178 20
   179 40
   180 40
   181 80
   182 ENDCHAR
   183 STARTCHAR asterisk
   184 ENCODING 42
   185 SWIDTH 600 0
   186 DWIDTH 9 0
   187 BBX 5 6 1 3
   188 BITMAP
   189 20
   190 20
   191 f8
   192 20
   193 50
   194 88
   195 ENDCHAR
   196 STARTCHAR plus
   197 ENCODING 43
   198 SWIDTH 600 0
   199 DWIDTH 9 0
   200 BBX 7 7 1 1
   201 BITMAP
   202 10
   203 10
   204 10
   205 fe
   206 10
   207 10
   208 10
   209 ENDCHAR
   210 STARTCHAR comma
   211 ENCODING 44
   212 SWIDTH 600 0
   213 DWIDTH 9 0
   214 BBX 3 4 2 -2
   215 BITMAP
   216 60
   217 60
   218 c0
   219 80
   220 ENDCHAR
   221 STARTCHAR minus
   222 ENCODING 45
   223 SWIDTH 600 0
   224 DWIDTH 9 0
   225 BBX 7 1 1 4
   226 BITMAP
   227 fe
   228 ENDCHAR
   229 STARTCHAR period
   230 ENCODING 46
   231 SWIDTH 600 0
   232 DWIDTH 9 0
   233 BBX 2 2 3 0
   234 BITMAP
   235 c0
   236 c0
   237 ENDCHAR
   238 STARTCHAR slash
   239 ENCODING 47
   240 SWIDTH 600 0
   241 DWIDTH 9 0
   242 BBX 6 11 1 -1
   243 BITMAP
   244 04
   245 08
   246 08
   247 10
   248 10
   249 20
   250 20
   251 40
   252 40
   253 80
   254 80
   255 ENDCHAR
   256 STARTCHAR zero
   257 ENCODING 48
   258 SWIDTH 600 0
   259 DWIDTH 9 0
   260 BBX 6 10 1 0
   261 BITMAP
   262 78
   263 84
   264 84
   265 84
   266 84
   267 84
   268 84
   269 84
   270 84
   271 78
   272 ENDCHAR
   273 STARTCHAR one
   274 ENCODING 49
   275 SWIDTH 600 0
   276 DWIDTH 9 0
   277 BBX 4 10 1 0
   278 BITMAP
   279 20
   280 60
   281 a0
   282 20
   283 20
   284 20
   285 20
   286 20
   287 20
   288 70
   289 ENDCHAR
   290 STARTCHAR two
   291 ENCODING 50
   292 SWIDTH 600 0
   293 DWIDTH 9 0
   294 BBX 6 10 1 0
   295 BITMAP
   296 78
   297 84
   298 84
   299 04
   300 08
   301 10
   302 20
   303 40
   304 80
   305 fc
   306 ENDCHAR
   307 STARTCHAR three
   308 ENCODING 51
   309 SWIDTH 600 0
   310 DWIDTH 9 0
   311 BBX 6 10 1 0
   312 BITMAP
   313 78
   314 84
   315 04
   316 04
   317 38
   318 04
   319 04
   320 04
   321 84
   322 78
   323 ENDCHAR
   324 STARTCHAR four
   325 ENCODING 52
   326 SWIDTH 600 0
   327 DWIDTH 9 0
   328 BBX 6 10 1 0
   329 BITMAP
   330 18
   331 28
   332 28
   333 48
   334 48
   335 88
   336 88
   337 fc
   338 08
   339 08
   340 ENDCHAR
   341 STARTCHAR five
   342 ENCODING 53
   343 SWIDTH 600 0
   344 DWIDTH 9 0
   345 BBX 6 10 1 0
   346 BITMAP
   347 7c
   348 40
   349 40
   350 40
   351 78
   352 04
   353 04
   354 04
   355 84
   356 78
   357 ENDCHAR
   358 STARTCHAR six
   359 ENCODING 54
   360 SWIDTH 600 0
   361 DWIDTH 9 0
   362 BBX 6 10 1 0
   363 BITMAP
   364 38
   365 40
   366 80
   367 80
   368 b8
   369 c4
   370 84
   371 84
   372 44
   373 38
   374 ENDCHAR
   375 STARTCHAR seven
   376 ENCODING 55
   377 SWIDTH 600 0
   378 DWIDTH 9 0
   379 BBX 6 10 1 0
   380 BITMAP
   381 fc
   382 84
   383 04
   384 08
   385 08
   386 08
   387 10
   388 10
   389 10
   390 10
   391 ENDCHAR
   392 STARTCHAR eight
   393 ENCODING 56
   394 SWIDTH 600 0
   395 DWIDTH 9 0
   396 BBX 6 10 1 0
   397 BITMAP
   398 78
   399 84
   400 84
   401 84
   402 78
   403 84
   404 84
   405 84
   406 84
   407 78
   408 ENDCHAR
   409 STARTCHAR nine
   410 ENCODING 57
   411 SWIDTH 600 0
   412 DWIDTH 9 0
   413 BBX 6 10 1 0
   414 BITMAP
   415 70
   416 88
   417 84
   418 84
   419 8c
   420 74
   421 04
   422 04
   423 08
   424 70
   425 ENDCHAR
   426 STARTCHAR colon
   427 ENCODING 58
   428 SWIDTH 600 0
   429 DWIDTH 9 0
   430 BBX 2 7 3 0
   431 BITMAP
   432 c0
   433 c0
   434 00
   435 00
   436 00
   437 c0
   438 c0
   439 ENDCHAR
   440 STARTCHAR semicolon
   441 ENCODING 59
   442 SWIDTH 600 0
   443 DWIDTH 9 0
   444 BBX 3 9 2 -2
   445 BITMAP
   446 60
   447 60
   448 00
   449 00
   450 00
   451 60
   452 60
   453 c0
   454 80
   455 ENDCHAR
   456 STARTCHAR less
   457 ENCODING 60
   458 SWIDTH 600 0
   459 DWIDTH 9 0
   460 BBX 7 7 1 1
   461 BITMAP
   462 06
   463 18
   464 60
   465 80
   466 60
   467 18
   468 06
   469 ENDCHAR
   470 STARTCHAR equal
   471 ENCODING 61
   472 SWIDTH 600 0
   473 DWIDTH 9 0
   474 BBX 7 3 1 3
   475 BITMAP
   476 fe
   477 00
   478 fe
   479 ENDCHAR
   480 STARTCHAR greater
   481 ENCODING 62
   482 SWIDTH 600 0
   483 DWIDTH 9 0
   484 BBX 7 7 1 1
   485 BITMAP
   486 c0
   487 30
   488 0c
   489 02
   490 0c
   491 30
   492 c0
   493 ENDCHAR
   494 STARTCHAR question
   495 ENCODING 63
   496 SWIDTH 600 0
   497 DWIDTH 9 0
   498 BBX 5 9 1 0
   499 BITMAP
   500 70
   501 88
   502 88
   503 08
   504 10
   505 20
   506 20
   507 00
   508 20
   509 ENDCHAR
   510 STARTCHAR at
   511 ENCODING 64
   512 SWIDTH 600 0
   513 DWIDTH 9 0
   514 BBX 6 10 1 -1
   515 BITMAP
   516 38
   517 44
   518 84
   519 9c
   520 a4
   521 a4
   522 9c
   523 80
   524 40
   525 38
   526 ENDCHAR
   527 STARTCHAR A
   528 ENCODING 65
   529 SWIDTH 600 0
   530 DWIDTH 9 0
   531 BBX 7 9 1 0
   532 BITMAP
   533 10
   534 10
   535 28
   536 28
   537 44
   538 7c
   539 82
   540 82
   541 82
   542 ENDCHAR
   543 STARTCHAR B
   544 ENCODING 66
   545 SWIDTH 600 0
   546 DWIDTH 9 0
   547 BBX 6 9 1 0
   548 BITMAP
   549 f8
   550 84
   551 84
   552 84
   553 f8
   554 84
   555 84
   556 84
   557 f8
   558 ENDCHAR
   559 STARTCHAR C
   560 ENCODING 67
   561 SWIDTH 600 0
   562 DWIDTH 9 0
   563 BBX 7 9 1 0
   564 BITMAP
   565 3c
   566 42
   567 80
   568 80
   569 80
   570 80
   571 80
   572 42
   573 3c
   574 ENDCHAR
   575 STARTCHAR D
   576 ENCODING 68
   577 SWIDTH 600 0
   578 DWIDTH 9 0
   579 BBX 7 9 1 0
   580 BITMAP
   581 f8
   582 84
   583 82
   584 82
   585 82
   586 82
   587 82
   588 84
   589 f8
   590 ENDCHAR
   591 STARTCHAR E
   592 ENCODING 69
   593 SWIDTH 600 0
   594 DWIDTH 9 0
   595 BBX 6 9 1 0
   596 BITMAP
   597 fc
   598 80
   599 80
   600 80
   601 f0
   602 80
   603 80
   604 80
   605 fc
   606 ENDCHAR
   607 STARTCHAR F
   608 ENCODING 70
   609 SWIDTH 600 0
   610 DWIDTH 9 0
   611 BBX 6 9 1 0
   612 BITMAP
   613 fc
   614 80
   615 80
   616 80
   617 f0
   618 80
   619 80
   620 80
   621 80
   622 ENDCHAR
   623 STARTCHAR G
   624 ENCODING 71
   625 SWIDTH 600 0
   626 DWIDTH 9 0
   627 BBX 7 9 0 0
   628 BITMAP
   629 3c
   630 42
   631 80
   632 80
   633 80
   634 8e
   635 82
   636 42
   637 3c
   638 ENDCHAR
   639 STARTCHAR H
   640 ENCODING 72
   641 SWIDTH 600 0
   642 DWIDTH 9 0
   643 BBX 6 9 1 0
   644 BITMAP
   645 84
   646 84
   647 84
   648 84
   649 fc
   650 84
   651 84
   652 84
   653 84
   654 ENDCHAR
   655 STARTCHAR I
   656 ENCODING 73
   657 SWIDTH 600 0
   658 DWIDTH 9 0
   659 BBX 3 9 2 0
   660 BITMAP
   661 e0
   662 40
   663 40
   664 40
   665 40
   666 40
   667 40
   668 40
   669 e0
   670 ENDCHAR
   671 STARTCHAR J
   672 ENCODING 74
   673 SWIDTH 600 0
   674 DWIDTH 9 0
   675 BBX 6 9 1 0
   676 BITMAP
   677 1c
   678 08
   679 08
   680 08
   681 08
   682 88
   683 88
   684 88
   685 70
   686 ENDCHAR
   687 STARTCHAR K
   688 ENCODING 75
   689 SWIDTH 600 0
   690 DWIDTH 9 0
   691 BBX 6 9 1 0
   692 BITMAP
   693 84
   694 88
   695 90
   696 a0
   697 e0
   698 90
   699 88
   700 88
   701 84
   702 ENDCHAR
   703 STARTCHAR L
   704 ENCODING 76
   705 SWIDTH 600 0
   706 DWIDTH 9 0
   707 BBX 7 9 0 0
   708 BITMAP
   709 e0
   710 40
   711 40
   712 40
   713 40
   714 40
   715 40
   716 42
   717 7e
   718 ENDCHAR
   719 STARTCHAR M
   720 ENCODING 77
   721 SWIDTH 600 0
   722 DWIDTH 9 0
   723 BBX 7 9 1 0
   724 BITMAP
   725 c6
   726 c6
   727 aa
   728 aa
   729 92
   730 92
   731 82
   732 82
   733 82
   734 ENDCHAR
   735 STARTCHAR N
   736 ENCODING 78
   737 SWIDTH 600 0
   738 DWIDTH 9 0
   739 BBX 6 9 1 0
   740 BITMAP
   741 c4
   742 c4
   743 a4
   744 a4
   745 94
   746 94
   747 8c
   748 8c
   749 84
   750 ENDCHAR
   751 STARTCHAR O
   752 ENCODING 79
   753 SWIDTH 600 0
   754 DWIDTH 9 0
   755 BBX 8 9 0 0
   756 BITMAP
   757 3c
   758 42
   759 81
   760 81
   761 81
   762 81
   763 81
   764 42
   765 3c
   766 ENDCHAR
   767 STARTCHAR P
   768 ENCODING 80
   769 SWIDTH 600 0
   770 DWIDTH 9 0
   771 BBX 6 9 1 0
   772 BITMAP
   773 f8
   774 84
   775 84
   776 84
   777 84
   778 f8
   779 80
   780 80
   781 80
   782 ENDCHAR
   783 STARTCHAR Q
   784 ENCODING 81
   785 SWIDTH 600 0
   786 DWIDTH 9 0
   787 BBX 8 11 0 -2
   788 BITMAP
   789 3c
   790 42
   791 81
   792 81
   793 81
   794 81
   795 81
   796 42
   797 3c
   798 31
   799 5e
   800 ENDCHAR
   801 STARTCHAR R
   802 ENCODING 82
   803 SWIDTH 600 0
   804 DWIDTH 9 0
   805 BBX 7 9 1 0
   806 BITMAP
   807 f8
   808 84
   809 84
   810 84
   811 88
   812 f0
   813 88
   814 84
   815 82
   816 ENDCHAR
   817 STARTCHAR S
   818 ENCODING 83
   819 SWIDTH 600 0
   820 DWIDTH 9 0
   821 BBX 6 9 1 0
   822 BITMAP
   823 78
   824 84
   825 80
   826 80
   827 78
   828 04
   829 04
   830 84
   831 78
   832 ENDCHAR
   833 STARTCHAR T
   834 ENCODING 84
   835 SWIDTH 600 0
   836 DWIDTH 9 0
   837 BBX 7 9 1 0
   838 BITMAP
   839 fe
   840 92
   841 10
   842 10
   843 10
   844 10
   845 10
   846 10
   847 10
   848 ENDCHAR
   849 STARTCHAR U
   850 ENCODING 85
   851 SWIDTH 600 0
   852 DWIDTH 9 0
   853 BBX 6 9 1 0
   854 BITMAP
   855 84
   856 84
   857 84
   858 84
   859 84
   860 84
   861 84
   862 84
   863 78
   864 ENDCHAR
   865 STARTCHAR V
   866 ENCODING 86
   867 SWIDTH 600 0
   868 DWIDTH 9 0
   869 BBX 7 9 1 0
   870 BITMAP
   871 82
   872 82
   873 82
   874 44
   875 44
   876 28
   877 28
   878 10
   879 10
   880 ENDCHAR
   881 STARTCHAR W
   882 ENCODING 87
   883 SWIDTH 600 0
   884 DWIDTH 9 0
   885 BBX 7 9 1 0
   886 BITMAP
   887 82
   888 82
   889 92
   890 92
   891 aa
   892 aa
   893 44
   894 44
   895 44
   896 ENDCHAR
   897 STARTCHAR X
   898 ENCODING 88
   899 SWIDTH 600 0
   900 DWIDTH 9 0
   901 BBX 8 9 0 0
   902 BITMAP
   903 81
   904 42
   905 24
   906 24
   907 18
   908 24
   909 24
   910 42
   911 81
   912 ENDCHAR
   913 STARTCHAR Y
   914 ENCODING 89
   915 SWIDTH 600 0
   916 DWIDTH 9 0
   917 BBX 7 9 1 0
   918 BITMAP
   919 82
   920 44
   921 44
   922 28
   923 28
   924 10
   925 10
   926 10
   927 10
   928 ENDCHAR
   929 STARTCHAR Z
   930 ENCODING 90
   931 SWIDTH 600 0
   932 DWIDTH 9 0
   933 BBX 6 9 1 0
   934 BITMAP
   935 fc
   936 04
   937 08
   938 10
   939 20
   940 20
   941 40
   942 80
   943 fc
   944 ENDCHAR
   945 STARTCHAR bracketleft
   946 ENCODING 91
   947 SWIDTH 600 0
   948 DWIDTH 9 0
   949 BBX 3 12 3 -2
   950 BITMAP
   951 e0
   952 80
   953 80
   954 80
   955 80
   956 80
   957 80
   958 80
   959 80
   960 80
   961 80
   962 e0
   963 ENDCHAR
   964 STARTCHAR backslash
   965 ENCODING 92
   966 SWIDTH 600 0
   967 DWIDTH 9 0
   968 BBX 6 11 1 -1
   969 BITMAP
   970 80
   971 40
   972 40
   973 20
   974 20
   975 10
   976 10
   977 08
   978 08
   979 04
   980 04
   981 ENDCHAR
   982 STARTCHAR bracketright
   983 ENCODING 93
   984 SWIDTH 600 0
   985 DWIDTH 9 0
   986 BBX 3 12 2 -2
   987 BITMAP
   988 e0
   989 20
   990 20
   991 20
   992 20
   993 20
   994 20
   995 20
   996 20
   997 20
   998 20
   999 e0
  1000 ENDCHAR
  1001 STARTCHAR asciicircum
  1002 ENCODING 94
  1003 SWIDTH 600 0
  1004 DWIDTH 9 0
  1005 BBX 5 5 2 4
  1006 BITMAP
  1007 20
  1008 50
  1009 50
  1010 88
  1011 88
  1012 ENDCHAR
  1013 STARTCHAR underscore
  1014 ENCODING 95
  1015 SWIDTH 600 0
  1016 DWIDTH 9 0
  1017 BBX 9 1 0 -3
  1018 BITMAP
  1019 ff80
  1020 ENDCHAR
  1021 STARTCHAR quoteleft
  1022 ENCODING 96
  1023 SWIDTH 600 0
  1024 DWIDTH 9 0
  1025 BBX 3 4 2 5
  1026 BITMAP
  1027 c0
  1028 c0
  1029 60
  1030 20
  1031 ENDCHAR
  1032 STARTCHAR a
  1033 ENCODING 97
  1034 SWIDTH 600 0
  1035 DWIDTH 9 0
  1036 BBX 7 7 1 0
  1037 BITMAP
  1038 78
  1039 04
  1040 04
  1041 7c
  1042 84
  1043 8c
  1044 76
  1045 ENDCHAR
  1046 STARTCHAR b
  1047 ENCODING 98
  1048 SWIDTH 600 0
  1049 DWIDTH 9 0
  1050 BBX 7 10 1 0
  1051 BITMAP
  1052 80
  1053 80
  1054 80
  1055 b8
  1056 c4
  1057 82
  1058 82
  1059 82
  1060 c4
  1061 b8
  1062 ENDCHAR
  1063 STARTCHAR c
  1064 ENCODING 99
  1065 SWIDTH 600 0
  1066 DWIDTH 9 0
  1067 BBX 7 7 1 0
  1068 BITMAP
  1069 3c
  1070 42
  1071 80
  1072 80
  1073 80
  1074 42
  1075 3c
  1076 ENDCHAR
  1077 STARTCHAR d
  1078 ENCODING 100
  1079 SWIDTH 600 0
  1080 DWIDTH 9 0
  1081 BBX 7 10 0 0
  1082 BITMAP
  1083 02
  1084 02
  1085 02
  1086 3a
  1087 46
  1088 82
  1089 82
  1090 82
  1091 46
  1092 3a
  1093 ENDCHAR
  1094 STARTCHAR e
  1095 ENCODING 101
  1096 SWIDTH 600 0
  1097 DWIDTH 9 0
  1098 BBX 7 7 1 0
  1099 BITMAP
  1100 38
  1101 44
  1102 82
  1103 fe
  1104 80
  1105 42
  1106 3c
  1107 ENDCHAR
  1108 STARTCHAR f
  1109 ENCODING 102
  1110 SWIDTH 600 0
  1111 DWIDTH 9 0
  1112 BBX 7 10 1 0
  1113 BITMAP
  1114 1e
  1115 20
  1116 20
  1117 fc
  1118 20
  1119 20
  1120 20
  1121 20
  1122 20
  1123 20
  1124 ENDCHAR
  1125 STARTCHAR g
  1126 ENCODING 103
  1127 SWIDTH 600 0
  1128 DWIDTH 9 0
  1129 BBX 7 10 0 -3
  1130 BITMAP
  1131 3a
  1132 46
  1133 82
  1134 82
  1135 82
  1136 46
  1137 3a
  1138 02
  1139 04
  1140 78
  1141 ENDCHAR
  1142 STARTCHAR h
  1143 ENCODING 104
  1144 SWIDTH 600 0
  1145 DWIDTH 9 0
  1146 BBX 6 10 1 0
  1147 BITMAP
  1148 80
  1149 80
  1150 80
  1151 b8
  1152 c4
  1153 84
  1154 84
  1155 84
  1156 84
  1157 84
  1158 ENDCHAR
  1159 STARTCHAR i
  1160 ENCODING 105
  1161 SWIDTH 600 0
  1162 DWIDTH 9 0
  1163 BBX 3 10 3 0
  1164 BITMAP
  1165 40
  1166 40
  1167 00
  1168 c0
  1169 40
  1170 40
  1171 40
  1172 40
  1173 40
  1174 e0
  1175 ENDCHAR
  1176 STARTCHAR j
  1177 ENCODING 106
  1178 SWIDTH 600 0
  1179 DWIDTH 9 0
  1180 BBX 4 13 1 -3
  1181 BITMAP
  1182 10
  1183 10
  1184 00
  1185 30
  1186 10
  1187 10
  1188 10
  1189 10
  1190 10
  1191 10
  1192 10
  1193 20
  1194 c0
  1195 ENDCHAR
  1196 STARTCHAR k
  1197 ENCODING 107
  1198 SWIDTH 600 0
  1199 DWIDTH 9 0
  1200 BBX 5 9 1 0
  1201 BITMAP
  1202 80
  1203 80
  1204 98
  1205 90
  1206 a0
  1207 c0
  1208 a0
  1209 90
  1210 98
  1211 ENDCHAR
  1212 STARTCHAR l
  1213 ENCODING 108
  1214 SWIDTH 600 0
  1215 DWIDTH 9 0
  1216 BBX 3 9 3 0
  1217 BITMAP
  1218 c0
  1219 40
  1220 40
  1221 40
  1222 40
  1223 40
  1224 40
  1225 40
  1226 e0
  1227 ENDCHAR
  1228 STARTCHAR m
  1229 ENCODING 109
  1230 SWIDTH 600 0
  1231 DWIDTH 9 0
  1232 BBX 8 7 0 0
  1233 BITMAP
  1234 db
  1235 6d
  1236 49
  1237 49
  1238 49
  1239 49
  1240 49
  1241 ENDCHAR
  1242 STARTCHAR n
  1243 ENCODING 110
  1244 SWIDTH 600 0
  1245 DWIDTH 9 0
  1246 BBX 7 7 0 0
  1247 BITMAP
  1248 dc
  1249 62
  1250 42
  1251 42
  1252 42
  1253 42
  1254 42
  1255 ENDCHAR
  1256 STARTCHAR o
  1257 ENCODING 111
  1258 SWIDTH 600 0
  1259 DWIDTH 9 0
  1260 BBX 8 7 0 0
  1261 BITMAP
  1262 3c
  1263 42
  1264 81
  1265 81
  1266 81
  1267 42
  1268 3c
  1269 ENDCHAR
  1270 STARTCHAR p
  1271 ENCODING 112
  1272 SWIDTH 600 0
  1273 DWIDTH 9 0
  1274 BBX 7 10 1 -3
  1275 BITMAP
  1276 b8
  1277 c4
  1278 82
  1279 82
  1280 82
  1281 c4
  1282 b8
  1283 80
  1284 80
  1285 80
  1286 ENDCHAR
  1287 STARTCHAR q
  1288 ENCODING 113
  1289 SWIDTH 600 0
  1290 DWIDTH 9 0
  1291 BBX 7 10 0 -3
  1292 BITMAP
  1293 3a
  1294 46
  1295 82
  1296 82
  1297 82
  1298 46
  1299 3a
  1300 02
  1301 02
  1302 02
  1303 ENDCHAR
  1304 STARTCHAR r
  1305 ENCODING 114
  1306 SWIDTH 600 0
  1307 DWIDTH 9 0
  1308 BBX 6 7 1 0
  1309 BITMAP
  1310 98
  1311 a4
  1312 c0
  1313 80
  1314 80
  1315 80
  1316 80
  1317 ENDCHAR
  1318 STARTCHAR s
  1319 ENCODING 115
  1320 SWIDTH 600 0
  1321 DWIDTH 9 0
  1322 BBX 6 7 1 0
  1323 BITMAP
  1324 78
  1325 84
  1326 80
  1327 78
  1328 04
  1329 84
  1330 78
  1331 ENDCHAR
  1332 STARTCHAR t
  1333 ENCODING 116
  1334 SWIDTH 600 0
  1335 DWIDTH 9 0
  1336 BBX 6 9 1 0
  1337 BITMAP
  1338 40
  1339 40
  1340 f0
  1341 40
  1342 40
  1343 40
  1344 40
  1345 44
  1346 38
  1347 ENDCHAR
  1348 STARTCHAR u
  1349 ENCODING 117
  1350 SWIDTH 600 0
  1351 DWIDTH 9 0
  1352 BBX 7 7 1 0
  1353 BITMAP
  1354 84
  1355 84
  1356 84
  1357 84
  1358 84
  1359 8c
  1360 76
  1361 ENDCHAR
  1362 STARTCHAR v
  1363 ENCODING 118
  1364 SWIDTH 600 0
  1365 DWIDTH 9 0
  1366 BBX 6 7 1 0
  1367 BITMAP
  1368 84
  1369 84
  1370 84
  1371 48
  1372 48
  1373 30
  1374 30
  1375 ENDCHAR
  1376 STARTCHAR w
  1377 ENCODING 119
  1378 SWIDTH 600 0
  1379 DWIDTH 9 0
  1380 BBX 7 7 1 0
  1381 BITMAP
  1382 82
  1383 82
  1384 92
  1385 92
  1386 54
  1387 6c
  1388 6c
  1389 ENDCHAR
  1390 STARTCHAR x
  1391 ENCODING 120
  1392 SWIDTH 600 0
  1393 DWIDTH 9 0
  1394 BBX 7 7 1 0
  1395 BITMAP
  1396 c6
  1397 44
  1398 28
  1399 10
  1400 28
  1401 44
  1402 c6
  1403 ENDCHAR
  1404 STARTCHAR y
  1405 ENCODING 121
  1406 SWIDTH 600 0
  1407 DWIDTH 9 0
  1408 BBX 6 10 1 -3
  1409 BITMAP
  1410 84
  1411 84
  1412 84
  1413 48
  1414 48
  1415 30
  1416 10
  1417 20
  1418 20
  1419 60
  1420 ENDCHAR
  1421 STARTCHAR z
  1422 ENCODING 122
  1423 SWIDTH 600 0
  1424 DWIDTH 9 0
  1425 BBX 5 7 1 0
  1426 BITMAP
  1427 f8
  1428 08
  1429 10
  1430 20
  1431 40
  1432 80
  1433 f8
  1434 ENDCHAR
  1435 STARTCHAR braceleft
  1436 ENCODING 123
  1437 SWIDTH 600 0
  1438 DWIDTH 9 0
  1439 BBX 3 12 3 -2
  1440 BITMAP
  1441 20
  1442 40
  1443 40
  1444 40
  1445 40
  1446 80
  1447 40
  1448 40
  1449 40
  1450 40
  1451 40
  1452 20
  1453 ENDCHAR
  1454 STARTCHAR bar
  1455 ENCODING 124
  1456 SWIDTH 600 0
  1457 DWIDTH 9 0
  1458 BBX 1 11 4 -2
  1459 BITMAP
  1460 80
  1461 80
  1462 80
  1463 80
  1464 80
  1465 80
  1466 80
  1467 80
  1468 80
  1469 80
  1470 80
  1471 ENDCHAR
  1472 STARTCHAR braceright
  1473 ENCODING 125
  1474 SWIDTH 600 0
  1475 DWIDTH 9 0
  1476 BBX 3 12 2 -2
  1477 BITMAP
  1478 80
  1479 40
  1480 40
  1481 40
  1482 40
  1483 20
  1484 40
  1485 40
  1486 40
  1487 40
  1488 40
  1489 80
  1490 ENDCHAR
  1491 STARTCHAR asciitilde
  1492 ENCODING 126
  1493 SWIDTH 600 0
  1494 DWIDTH 9 0
  1495 BBX 6 2 1 3
  1496 BITMAP
  1497 64
  1498 98
  1499 ENDCHAR
  1500 STARTCHAR lless
  1501 ENCODING 145
  1502 SWIDTH 666 0
  1503 DWIDTH 9 0
  1504 BBX 6 11 1 -1
  1505 BITMAP
  1506 04
  1507 08
  1508 10
  1509 24
  1510 48
  1511 90
  1512 48
  1513 24
  1514 10
  1515 08
  1516 04
  1517 ENDCHAR
  1518 STARTCHAR unlhd
  1519 ENCODING 146
  1520 SWIDTH 666 0
  1521 DWIDTH 9 0
  1522 BBX 8 9 1 -1
  1523 BITMAP
  1524 03
  1525 0d
  1526 31
  1527 c1
  1528 31
  1529 0d
  1530 03
  1531 00
  1532 ff
  1533 ENDCHAR
  1534 STARTCHAR lhd
  1535 ENCODING 147
  1536 SWIDTH 666 0
  1537 DWIDTH 9 0
  1538 BBX 8 7 1 1
  1539 BITMAP
  1540 03
  1541 0d
  1542 31
  1543 c1
  1544 31
  1545 0d
  1546 03
  1547 ENDCHAR
  1548 STARTCHAR rhd
  1549 ENCODING 148
  1550 SWIDTH 666 0
  1551 DWIDTH 9 0
  1552 BBX 8 7 1 1
  1553 BITMAP
  1554 c0
  1555 b0
  1556 8c
  1557 83
  1558 8c
  1559 b0
  1560 c0
  1561 ENDCHAR
  1562 STARTCHAR tturnstile
  1563 ENCODING 149
  1564 SWIDTH 600 0
  1565 DWIDTH 9 0
  1566 BBX 8 9 3 0
  1567 BITMAP
  1568 a0
  1569 a0
  1570 a0
  1571 a0
  1572 ff
  1573 a0
  1574 a0
  1575 a0
  1576 a0
  1577 ENDCHAR
  1578 STARTCHAR langle
  1579 ENCODING 150
  1580 SWIDTH 600 0
  1581 DWIDTH 9 0
  1582 BBX 4 12 3 -2
  1583 BITMAP
  1584 10
  1585 20
  1586 20
  1587 40
  1588 40
  1589 80
  1590 80
  1591 40
  1592 40
  1593 20
  1594 20
  1595 10
  1596 ENDCHAR
  1597 STARTCHAR rangle
  1598 ENCODING 151
  1599 SWIDTH 600 0
  1600 DWIDTH 9 0
  1601 BBX 4 12 3 -2
  1602 BITMAP
  1603 80
  1604 40
  1605 40
  1606 20
  1607 20
  1608 10
  1609 10
  1610 20
  1611 20
  1612 40
  1613 40
  1614 80
  1615 ENDCHAR
  1616 STARTCHAR choice
  1617 ENCODING 152
  1618 SWIDTH 666 0
  1619 DWIDTH 9 0
  1620 BBX 6 12 1 -2
  1621 BITMAP
  1622 3c
  1623 24
  1624 24
  1625 24
  1626 24
  1627 24
  1628 24
  1629 24
  1630 24
  1631 24
  1632 24
  1633 3c
  1634 ENDCHAR
  1635 STARTCHAR top
  1636 ENCODING 153
  1637 SWIDTH 666 0
  1638 DWIDTH 9 0
  1639 BBX 7 6 1 2
  1640 BITMAP
  1641 fe
  1642 10
  1643 10
  1644 10
  1645 10
  1646 10
  1647 ENDCHAR
  1648 STARTCHAR Or
  1649 ENCODING 154
  1650 SWIDTH 600 0
  1651 DWIDTH 9 0
  1652 BBX 7 12 1 -2
  1653 BITMAP
  1654 82
  1655 82
  1656 82
  1657 44
  1658 44
  1659 44
  1660 28
  1661 28
  1662 28
  1663 10
  1664 10
  1665 10
  1666 ENDCHAR
  1667 STARTCHAR ocdot
  1668 ENCODING 155
  1669 SWIDTH 240 0
  1670 DWIDTH 9 0
  1671 BBX 9 9 0 0
  1672 BITMAP
  1673 1c00
  1674 2200
  1675 4100
  1676 8080
  1677 8880
  1678 8080
  1679 4100
  1680 2200
  1681 1c00
  1682 ENDCHAR
  1683 STARTCHAR iota
  1684 ENCODING 156
  1685 SWIDTH 168 0
  1686 DWIDTH 9 0
  1687 BBX 3 6 1 0
  1688 BITMAP
  1689 e0
  1690 60
  1691 60
  1692 c0
  1693 e0
  1694 c0
  1695 ENDCHAR
  1696 STARTCHAR upsilon
  1697 ENCODING 157
  1698 SWIDTH 168 0
  1699 DWIDTH 9 0
  1700 BBX 7 7 1 0
  1701 BITMAP
  1702 c4
  1703 62
  1704 62
  1705 62
  1706 62
  1707 64
  1708 38
  1709 ENDCHAR
  1710 STARTCHAR Upsilon
  1711 ENCODING 158
  1712 SWIDTH 264 0
  1713 DWIDTH 9 0
  1714 BBX 8 10 0 -1
  1715 BITMAP
  1716 c3
  1717 64
  1718 38
  1719 18
  1720 18
  1721 18
  1722 18
  1723 18
  1724 18
  1725 3c
  1726 ENDCHAR
  1727 STARTCHAR Xi
  1728 ENCODING 159
  1729 SWIDTH 264 0
  1730 DWIDTH 9 0
  1731 BBX 9 10 1 -1
  1732 BITMAP
  1733 ff80
  1734 ff80
  1735 8080
  1736 0000
  1737 1c00
  1738 1c00
  1739 0000
  1740 8080
  1741 ff80
  1742 ff80
  1743 ENDCHAR
  1744 STARTCHAR space2
  1745 ENCODING 160
  1746 SWIDTH 264 0
  1747 DWIDTH 9 0
  1748 BBX 8 1 1 0
  1749 BITMAP
  1750 e7
  1751 ENDCHAR
  1752 STARTCHAR Gamma
  1753 ENCODING 161
  1754 SWIDTH 216 0
  1755 DWIDTH 9 0
  1756 BBX 7 10 1 -1
  1757 BITMAP
  1758 fe
  1759 62
  1760 60
  1761 60
  1762 60
  1763 60
  1764 60
  1765 60
  1766 60
  1767 f0
  1768 ENDCHAR
  1769 STARTCHAR Delta
  1770 ENCODING 162
  1771 SWIDTH 600 0
  1772 DWIDTH 9 0
  1773 BBX 9 10 0 -1
  1774 BITMAP
  1775 0800
  1776 0800
  1777 1c00
  1778 1c00
  1779 1600
  1780 2600
  1781 2300
  1782 4300
  1783 4180
  1784 ff80
  1785 ENDCHAR
  1786 STARTCHAR Theta
  1787 ENCODING 163
  1788 SWIDTH 264 0
  1789 DWIDTH 9 0
  1790 BBX 9 10 1 -1
  1791 BITMAP
  1792 3e00
  1793 4100
  1794 c180
  1795 c180
  1796 dd80
  1797 dd80
  1798 c180
  1799 c180
  1800 4100
  1801 3e00
  1802 ENDCHAR
  1803 STARTCHAR Lambda
  1804 ENCODING 164
  1805 SWIDTH 600 0
  1806 DWIDTH 9 0
  1807 BBX 9 10 0 -1
  1808 BITMAP
  1809 0800
  1810 0800
  1811 1c00
  1812 1c00
  1813 1600
  1814 2600
  1815 2300
  1816 4300
  1817 4180
  1818 e380
  1819 ENDCHAR
  1820 STARTCHAR Pi
  1821 ENCODING 165
  1822 SWIDTH 264 0
  1823 DWIDTH 9 0
  1824 BBX 9 10 0 -1
  1825 BITMAP
  1826 ff80
  1827 6300
  1828 6300
  1829 6300
  1830 6300
  1831 6300
  1832 6300
  1833 6300
  1834 6300
  1835 f780
  1836 ENDCHAR
  1837 STARTCHAR Sigma
  1838 ENCODING 166
  1839 SWIDTH 240 0
  1840 DWIDTH 9 0
  1841 BBX 9 10 1 -1
  1842 BITMAP
  1843 7f80
  1844 3080
  1845 1800
  1846 0c00
  1847 0400
  1848 0800
  1849 1000
  1850 2080
  1851 7f80
  1852 ff00
  1853 ENDCHAR
  1854 STARTCHAR Phi
  1855 ENCODING 167
  1856 SWIDTH 264 0
  1857 DWIDTH 9 0
  1858 BBX 10 10 1 -1
  1859 BITMAP
  1860 1e00
  1861 0c00
  1862 7f80
  1863 ccc0
  1864 ccc0
  1865 ccc0
  1866 ccc0
  1867 7f80
  1868 0c00
  1869 1e00
  1870 ENDCHAR
  1871 STARTCHAR Psi
  1872 ENCODING 168
  1873 SWIDTH 264 0
  1874 DWIDTH 9 0
  1875 BBX 10 10 1 -1
  1876 BITMAP
  1877 1e00
  1878 8c40
  1879 ccc0
  1880 ccc0
  1881 ccc0
  1882 ccc0
  1883 7f80
  1884 0c00
  1885 0c00
  1886 1e00
  1887 ENDCHAR
  1888 STARTCHAR Omega
  1889 ENCODING 169
  1890 SWIDTH 264 0
  1891 DWIDTH 9 0
  1892 BBX 9 10 1 -1
  1893 BITMAP
  1894 3e00
  1895 6300
  1896 c180
  1897 c180
  1898 c180
  1899 c180
  1900 6300
  1901 3600
  1902 9480
  1903 f780
  1904 ENDCHAR
  1905 STARTCHAR alpha
  1906 ENCODING 170
  1907 SWIDTH 216 0
  1908 DWIDTH 9 0
  1909 BBX 7 6 0 0
  1910 BITMAP
  1911 76
  1912 9c
  1913 8c
  1914 88
  1915 98
  1916 76
  1917 ENDCHAR
  1918 STARTCHAR beta
  1919 ENCODING 171
  1920 SWIDTH 192 0
  1921 DWIDTH 9 0
  1922 BBX 7 11 1 -3
  1923 BITMAP
  1924 1c
  1925 22
  1926 22
  1927 4c
  1928 42
  1929 42
  1930 44
  1931 98
  1932 80
  1933 80
  1934 00
  1935 ENDCHAR
  1936 STARTCHAR gamma
  1937 ENCODING 172
  1938 SWIDTH 168 0
  1939 DWIDTH 9 0
  1940 BBX 7 9 1 -3
  1941 BITMAP
  1942 62
  1943 94
  1944 08
  1945 08
  1946 18
  1947 18
  1948 28
  1949 28
  1950 10
  1951 ENDCHAR
  1952 STARTCHAR delta
  1953 ENCODING 173
  1954 SWIDTH 144 0
  1955 DWIDTH 9 0
  1956 BBX 5 10 2 0
  1957 BITMAP
  1958 38
  1959 60
  1960 40
  1961 30
  1962 78
  1963 c8
  1964 88
  1965 90
  1966 90
  1967 60
  1968 ENDCHAR
  1969 STARTCHAR epsilon
  1970 ENCODING 174
  1971 SWIDTH 144 0
  1972 DWIDTH 9 0
  1973 BBX 5 8 2 0
  1974 BITMAP
  1975 30
  1976 48
  1977 80
  1978 60
  1979 40
  1980 80
  1981 88
  1982 70
  1983 ENDCHAR
  1984 STARTCHAR zeta
  1985 ENCODING 175
  1986 SWIDTH 144 0
  1987 DWIDTH 9 0
  1988 BBX 6 13 1 -3
  1989 BITMAP
  1990 10
  1991 1c
  1992 20
  1993 40
  1994 40
  1995 80
  1996 80
  1997 80
  1998 c0
  1999 70
  2000 18
  2001 18
  2002 00
  2003 ENDCHAR
  2004 STARTCHAR eta
  2005 ENCODING 176
  2006 SWIDTH 168 0
  2007 DWIDTH 9 0
  2008 BBX 6 9 1 -3
  2009 BITMAP
  2010 dc
  2011 64
  2012 44
  2013 44
  2014 88
  2015 88
  2016 08
  2017 10
  2018 10
  2019 ENDCHAR
  2020 STARTCHAR theta
  2021 ENCODING 177
  2022 SWIDTH 216 0
  2023 DWIDTH 9 0
  2024 BBX 7 10 1 0
  2025 BITMAP
  2026 0c
  2027 12
  2028 12
  2029 12
  2030 ce
  2031 24
  2032 24
  2033 48
  2034 48
  2035 70
  2036 ENDCHAR
  2037 STARTCHAR kappa
  2038 ENCODING 178
  2039 SWIDTH 192 0
  2040 DWIDTH 9 0
  2041 BBX 7 6 1 0
  2042 BITMAP
  2043 ce
  2044 50
  2045 70
  2046 50
  2047 52
  2048 8c
  2049 ENDCHAR
  2050 STARTCHAR lambda
  2051 ENCODING 179
  2052 SWIDTH 192 0
  2053 DWIDTH 9 0
  2054 BBX 8 10 0 0
  2055 BITMAP
  2056 30
  2057 18
  2058 08
  2059 08
  2060 18
  2061 18
  2062 34
  2063 64
  2064 62
  2065 c3
  2066 ENDCHAR
  2067 STARTCHAR mu
  2068 ENCODING 180
  2069 SWIDTH 216 0
  2070 DWIDTH 9 0
  2071 BBX 7 9 1 -3
  2072 BITMAP
  2073 22
  2074 22
  2075 44
  2076 44
  2077 44
  2078 7e
  2079 40
  2080 80
  2081 80
  2082 ENDCHAR
  2083 STARTCHAR nu
  2084 ENCODING 181
  2085 SWIDTH 168 0
  2086 DWIDTH 9 0
  2087 BBX 6 6 1 0
  2088 BITMAP
  2089 64
  2090 24
  2091 28
  2092 48
  2093 50
  2094 e0
  2095 ENDCHAR
  2096 STARTCHAR xi
  2097 ENCODING 182
  2098 SWIDTH 144 0
  2099 DWIDTH 9 0
  2100 BBX 6 13 1 -3
  2101 BITMAP
  2102 10
  2103 3c
  2104 40
  2105 40
  2106 40
  2107 38
  2108 40
  2109 80
  2110 80
  2111 f0
  2112 08
  2113 08
  2114 10
  2115 ENDCHAR
  2116 STARTCHAR pi
  2117 ENCODING 183
  2118 SWIDTH 192 0
  2119 DWIDTH 9 0
  2120 BBX 7 6 1 0
  2121 BITMAP
  2122 7e
  2123 a8
  2124 28
  2125 28
  2126 48
  2127 48
  2128 ENDCHAR
  2129 STARTCHAR rho
  2130 ENCODING 184
  2131 SWIDTH 168 0
  2132 DWIDTH 9 0
  2133 BBX 6 9 1 -3
  2134 BITMAP
  2135 1c
  2136 24
  2137 44
  2138 44
  2139 48
  2140 70
  2141 40
  2142 40
  2143 80
  2144 ENDCHAR
  2145 STARTCHAR sigma
  2146 ENCODING 185
  2147 SWIDTH 192 0
  2148 DWIDTH 9 0
  2149 BBX 7 6 1 0
  2150 BITMAP
  2151 3e
  2152 48
  2153 88
  2154 88
  2155 88
  2156 70
  2157 ENDCHAR
  2158 STARTCHAR tau
  2159 ENCODING 186
  2160 SWIDTH 144 0
  2161 DWIDTH 9 0
  2162 BBX 6 6 1 0
  2163 BITMAP
  2164 7c
  2165 a0
  2166 20
  2167 20
  2168 20
  2169 c0
  2170 ENDCHAR
  2171 STARTCHAR phi
  2172 ENCODING 187
  2173 SWIDTH 216 0
  2174 DWIDTH 9 0
  2175 BBX 7 9 1 -3
  2176 BITMAP
  2177 4c
  2178 92
  2179 92
  2180 a2
  2181 a4
  2182 78
  2183 40
  2184 40
  2185 40
  2186 ENDCHAR
  2187 STARTCHAR chi
  2188 ENCODING 188
  2189 SWIDTH 216 0
  2190 DWIDTH 9 0
  2191 BBX 8 9 0 -3
  2192 BITMAP
  2193 61
  2194 32
  2195 14
  2196 18
  2197 10
  2198 10
  2199 30
  2200 48
  2201 44
  2202 ENDCHAR
  2203 STARTCHAR psi
  2204 ENCODING 189
  2205 SWIDTH 216 0
  2206 DWIDTH 9 0
  2207 BBX 7 11 1 -3
  2208 BITMAP
  2209 08
  2210 48
  2211 ca
  2212 4a
  2213 52
  2214 54
  2215 54
  2216 38
  2217 10
  2218 00
  2219 00
  2220 ENDCHAR
  2221 STARTCHAR omega
  2222 ENCODING 190
  2223 SWIDTH 216 0
  2224 DWIDTH 9 0
  2225 BBX 7 6 1 0
  2226 BITMAP
  2227 42
  2228 82
  2229 92
  2230 a2
  2231 a4
  2232 78
  2233 ENDCHAR
  2234 STARTCHAR not
  2235 ENCODING 191
  2236 SWIDTH 666 0
  2237 DWIDTH 9 0
  2238 BBX 6 4 1 0
  2239 BITMAP
  2240 fc
  2241 04
  2242 04
  2243 04
  2244 ENDCHAR
  2245 STARTCHAR and
  2246 ENCODING 192
  2247 SWIDTH 666 0
  2248 DWIDTH 9 0
  2249 BBX 7 7 1 0
  2250 BITMAP
  2251 10
  2252 28
  2253 28
  2254 44
  2255 44
  2256 82
  2257 82
  2258 ENDCHAR
  2259 STARTCHAR or
  2260 ENCODING 193
  2261 SWIDTH 666 0
  2262 DWIDTH 9 0
  2263 BBX 7 7 1 0
  2264 BITMAP
  2265 82
  2266 82
  2267 44
  2268 44
  2269 28
  2270 28
  2271 10
  2272 ENDCHAR
  2273 STARTCHAR forall
  2274 ENCODING 194
  2275 SWIDTH 666 0
  2276 DWIDTH 9 0
  2277 BBX 7 11 1 -2
  2278 BITMAP
  2279 82
  2280 82
  2281 44
  2282 7c
  2283 44
  2284 28
  2285 28
  2286 10
  2287 10
  2288 00
  2289 00
  2290 ENDCHAR
  2291 STARTCHAR exists
  2292 ENCODING 195
  2293 SWIDTH 666 0
  2294 DWIDTH 9 0
  2295 BBX 5 9 2 0
  2296 BITMAP
  2297 f8
  2298 08
  2299 08
  2300 08
  2301 f8
  2302 08
  2303 08
  2304 08
  2305 f8
  2306 ENDCHAR
  2307 STARTCHAR And
  2308 ENCODING 196
  2309 SWIDTH 600 0
  2310 DWIDTH 9 0
  2311 BBX 7 12 1 -2
  2312 BITMAP
  2313 10
  2314 10
  2315 10
  2316 28
  2317 28
  2318 28
  2319 44
  2320 44
  2321 44
  2322 82
  2323 82
  2324 82
  2325 ENDCHAR
  2326 STARTCHAR lceil
  2327 ENCODING 197
  2328 SWIDTH 600 0
  2329 DWIDTH 9 0
  2330 BBX 5 12 1 -2
  2331 BITMAP
  2332 f8
  2333 80
  2334 80
  2335 80
  2336 80
  2337 80
  2338 80
  2339 80
  2340 80
  2341 80
  2342 80
  2343 80
  2344 ENDCHAR
  2345 STARTCHAR rceil
  2346 ENCODING 198
  2347 SWIDTH 600 0
  2348 DWIDTH 9 0
  2349 BBX 5 12 1 -2
  2350 BITMAP
  2351 f8
  2352 08
  2353 08
  2354 08
  2355 08
  2356 08
  2357 08
  2358 08
  2359 08
  2360 08
  2361 08
  2362 08
  2363 ENDCHAR
  2364 STARTCHAR lfloor
  2365 ENCODING 199
  2366 SWIDTH 600 0
  2367 DWIDTH 9 0
  2368 BBX 5 12 1 -2
  2369 BITMAP
  2370 80
  2371 80
  2372 80
  2373 80
  2374 80
  2375 80
  2376 80
  2377 80
  2378 80
  2379 80
  2380 80
  2381 f8
  2382 ENDCHAR
  2383 STARTCHAR rfloor
  2384 ENCODING 200
  2385 SWIDTH 600 0
  2386 DWIDTH 9 0
  2387 BBX 5 12 1 -2
  2388 BITMAP
  2389 08
  2390 08
  2391 08
  2392 08
  2393 08
  2394 08
  2395 08
  2396 08
  2397 08
  2398 08
  2399 08
  2400 f8
  2401 ENDCHAR
  2402 STARTCHAR turnstile
  2403 ENCODING 201
  2404 SWIDTH 600 0
  2405 DWIDTH 9 0
  2406 BBX 8 9 3 0
  2407 BITMAP
  2408 80
  2409 80
  2410 80
  2411 80
  2412 ff
  2413 80
  2414 80
  2415 80
  2416 80
  2417 ENDCHAR
  2418 STARTCHAR Turnstile
  2419 ENCODING 202
  2420 SWIDTH 600 0
  2421 DWIDTH 9 0
  2422 BBX 8 9 3 0
  2423 BITMAP
  2424 80
  2425 80
  2426 80
  2427 ff
  2428 80
  2429 ff
  2430 80
  2431 80
  2432 80
  2433 ENDCHAR
  2434 STARTCHAR lbrakk
  2435 ENCODING 203
  2436 SWIDTH 600 0
  2437 DWIDTH 9 0
  2438 BBX 6 12 1 -2
  2439 BITMAP
  2440 fc
  2441 a0
  2442 a0
  2443 a0
  2444 a0
  2445 a0
  2446 a0
  2447 a0
  2448 a0
  2449 a0
  2450 a0
  2451 fc
  2452 ENDCHAR
  2453 STARTCHAR rbrakk
  2454 ENCODING 204
  2455 SWIDTH 600 0
  2456 DWIDTH 9 0
  2457 BBX 6 12 1 -2
  2458 BITMAP
  2459 fc
  2460 14
  2461 14
  2462 14
  2463 14
  2464 14
  2465 14
  2466 14
  2467 14
  2468 14
  2469 14
  2470 fc
  2471 ENDCHAR
  2472 STARTCHAR cdot
  2473 ENCODING 205
  2474 SWIDTH 600 0
  2475 DWIDTH 8 0
  2476 BBX 2 2 3 3
  2477 BITMAP
  2478 c0
  2479 c0
  2480 ENDCHAR
  2481 STARTCHAR in
  2482 ENCODING 206
  2483 SWIDTH 216 0
  2484 DWIDTH 9 0
  2485 BBX 6 10 1 -3
  2486 BITMAP
  2487 3c
  2488 40
  2489 80
  2490 f8
  2491 80
  2492 40
  2493 3c
  2494 00
  2495 00
  2496 00
  2497 ENDCHAR
  2498 STARTCHAR subseteq
  2499 ENCODING 207
  2500 SWIDTH 666 0
  2501 DWIDTH 9 0
  2502 BBX 6 10 1 -3
  2503 BITMAP
  2504 7c
  2505 80
  2506 80
  2507 80
  2508 7c
  2509 00
  2510 fc
  2511 00
  2512 00
  2513 00
  2514 ENDCHAR
  2515 STARTCHAR inter
  2516 ENCODING 208
  2517 SWIDTH 666 0
  2518 DWIDTH 9 0
  2519 BBX 6 7 1 0
  2520 BITMAP
  2521 78
  2522 84
  2523 84
  2524 84
  2525 84
  2526 84
  2527 84
  2528 ENDCHAR
  2529 STARTCHAR union
  2530 ENCODING 209
  2531 SWIDTH 666 0
  2532 DWIDTH 9 0
  2533 BBX 6 7 1 0
  2534 BITMAP
  2535 84
  2536 84
  2537 84
  2538 84
  2539 84
  2540 84
  2541 78
  2542 ENDCHAR
  2543 STARTCHAR Inter
  2544 ENCODING 210
  2545 SWIDTH 600 0
  2546 DWIDTH 9 0
  2547 BBX 8 10 1 -1
  2548 BITMAP
  2549 3c
  2550 42
  2551 81
  2552 81
  2553 81
  2554 81
  2555 81
  2556 81
  2557 81
  2558 81
  2559 ENDCHAR
  2560 STARTCHAR Union
  2561 ENCODING 211
  2562 SWIDTH 600 0
  2563 DWIDTH 9 0
  2564 BBX 8 10 1 -1
  2565 BITMAP
  2566 81
  2567 81
  2568 81
  2569 81
  2570 81
  2571 81
  2572 81
  2573 81
  2574 42
  2575 3c
  2576 ENDCHAR
  2577 STARTCHAR sqinter
  2578 ENCODING 212
  2579 SWIDTH 666 0
  2580 DWIDTH 9 0
  2581 BBX 6 7 1 0
  2582 BITMAP
  2583 fc
  2584 84
  2585 84
  2586 84
  2587 84
  2588 84
  2589 84
  2590 ENDCHAR
  2591 STARTCHAR squnion
  2592 ENCODING 213
  2593 SWIDTH 666 0
  2594 DWIDTH 9 0
  2595 BBX 6 7 1 0
  2596 BITMAP
  2597 84
  2598 84
  2599 84
  2600 84
  2601 84
  2602 84
  2603 fc
  2604 ENDCHAR
  2605 STARTCHAR Sqinter
  2606 ENCODING 214
  2607 SWIDTH 600 0
  2608 DWIDTH 9 0
  2609 BBX 8 10 1 -1
  2610 BITMAP
  2611 ff
  2612 81
  2613 81
  2614 81
  2615 81
  2616 81
  2617 81
  2618 81
  2619 81
  2620 81
  2621 ENDCHAR
  2622 STARTCHAR Squnion
  2623 ENCODING 215
  2624 SWIDTH 600 0
  2625 DWIDTH 9 0
  2626 BBX 8 10 1 -1
  2627 BITMAP
  2628 81
  2629 81
  2630 81
  2631 81
  2632 81
  2633 81
  2634 81
  2635 81
  2636 81
  2637 ff
  2638 ENDCHAR
  2639 STARTCHAR bottom
  2640 ENCODING 216
  2641 SWIDTH 666 0
  2642 DWIDTH 9 0
  2643 BBX 7 6 1 0
  2644 BITMAP
  2645 10
  2646 10
  2647 10
  2648 10
  2649 10
  2650 fe
  2651 ENDCHAR
  2652 STARTCHAR doteq
  2653 ENCODING 217
  2654 SWIDTH 144 0
  2655 DWIDTH 9 0
  2656 BBX 7 5 1 2
  2657 BITMAP
  2658 10
  2659 00
  2660 fe
  2661 00
  2662 fe
  2663 ENDCHAR
  2664 STARTCHAR equiv
  2665 ENCODING 218
  2666 SWIDTH 240 0
  2667 DWIDTH 9 0
  2668 BBX 6 5 1 1
  2669 BITMAP
  2670 fc
  2671 00
  2672 fc
  2673 00
  2674 fc
  2675 ENDCHAR
  2676 STARTCHAR noteq
  2677 ENCODING 219
  2678 SWIDTH 666 0
  2679 DWIDTH 9 0
  2680 BBX 7 7 1 0
  2681 BITMAP
  2682 08
  2683 08
  2684 fe
  2685 10
  2686 fe
  2687 20
  2688 20
  2689 ENDCHAR
  2690 STARTCHAR sqsubset
  2691 ENCODING 220
  2692 SWIDTH 666 0
  2693 DWIDTH 9 0
  2694 BBX 6 5 1 2
  2695 BITMAP
  2696 fc
  2697 80
  2698 80
  2699 80
  2700 fc
  2701 ENDCHAR
  2702 STARTCHAR sqsubseteq
  2703 ENCODING 221
  2704 SWIDTH 666 0
  2705 DWIDTH 9 0
  2706 BBX 6 7 1 0
  2707 BITMAP
  2708 fc
  2709 80
  2710 80
  2711 80
  2712 fc
  2713 00
  2714 fc
  2715 ENDCHAR
  2716 STARTCHAR prec
  2717 ENCODING 222
  2718 SWIDTH 666 0
  2719 DWIDTH 9 0
  2720 BBX 7 7 1 1
  2721 BITMAP
  2722 02
  2723 04
  2724 18
  2725 e0
  2726 18
  2727 04
  2728 02
  2729 ENDCHAR
  2730 STARTCHAR preceq
  2731 ENCODING 223
  2732 SWIDTH 666 0
  2733 DWIDTH 9 0
  2734 BBX 7 9 1 0
  2735 BITMAP
  2736 02
  2737 04
  2738 18
  2739 e0
  2740 18
  2741 04
  2742 02
  2743 00
  2744 fe
  2745 ENDCHAR
  2746 STARTCHAR succ
  2747 ENCODING 224
  2748 SWIDTH 666 0
  2749 DWIDTH 9 0
  2750 BBX 7 7 1 1
  2751 BITMAP
  2752 80
  2753 40
  2754 30
  2755 0e
  2756 30
  2757 40
  2758 80
  2759 ENDCHAR
  2760 STARTCHAR approx
  2761 ENCODING 225
  2762 SWIDTH 240 0
  2763 DWIDTH 9 0
  2764 BBX 7 6 1 1
  2765 BITMAP
  2766 60
  2767 92
  2768 0c
  2769 60
  2770 92
  2771 0c
  2772 ENDCHAR
  2773 STARTCHAR sim
  2774 ENCODING 226
  2775 SWIDTH 240 0
  2776 DWIDTH 9 0
  2777 BBX 7 3 1 2
  2778 BITMAP
  2779 60
  2780 92
  2781 0c
  2782 ENDCHAR
  2783 STARTCHAR simeq
  2784 ENCODING 227
  2785 SWIDTH 240 0
  2786 DWIDTH 9 0
  2787 BBX 7 5 1 1
  2788 BITMAP
  2789 60
  2790 92
  2791 0c
  2792 00
  2793 fe
  2794 ENDCHAR
  2795 STARTCHAR le
  2796 ENCODING 228
  2797 SWIDTH 666 0
  2798 DWIDTH 9 0
  2799 BBX 6 8 1 0
  2800 BITMAP
  2801 0c
  2802 30
  2803 c0
  2804 30
  2805 0c
  2806 00
  2807 00
  2808 fc
  2809 ENDCHAR
  2810 STARTCHAR Colon
  2811 ENCODING 229
  2812 SWIDTH 600 0
  2813 DWIDTH 9 0
  2814 BBX 4 7 2 0
  2815 BITMAP
  2816 90
  2817 90
  2818 00
  2819 00
  2820 00
  2821 90
  2822 90
  2823 ENDCHAR
  2824 STARTCHAR leftarrow
  2825 ENCODING 230
  2826 SWIDTH 666 0
  2827 DWIDTH 9 0
  2828 BBX 9 5 0 2
  2829 BITMAP
  2830 3000
  2831 6000
  2832 ff80
  2833 6000
  2834 3000
  2835 ENDCHAR
  2836 STARTCHAR midarrow
  2837 ENCODING 231
  2838 SWIDTH 600 0
  2839 DWIDTH 9 0
  2840 BBX 9 1 0 4
  2841 BITMAP
  2842 ff80
  2843 ENDCHAR
  2844 STARTCHAR rightarrow
  2845 ENCODING 232
  2846 SWIDTH 666 0
  2847 DWIDTH 9 0
  2848 BBX 9 5 0 2
  2849 BITMAP
  2850 0600
  2851 0300
  2852 ff80
  2853 0300
  2854 0600
  2855 ENDCHAR
  2856 STARTCHAR Leftarrow
  2857 ENCODING 233
  2858 SWIDTH 666 0
  2859 DWIDTH 9 0
  2860 BBX 9 7 0 0
  2861 BITMAP
  2862 1800
  2863 3000
  2864 7f80
  2865 c000
  2866 7f80
  2867 3000
  2868 1800
  2869 ENDCHAR
  2870 STARTCHAR Midarrow
  2871 ENCODING 234
  2872 SWIDTH 600 0
  2873 DWIDTH 9 0
  2874 BBX 9 3 0 2
  2875 BITMAP
  2876 ff80
  2877 0000
  2878 ff80
  2879 ENDCHAR
  2880 STARTCHAR Rightarrow
  2881 ENCODING 235
  2882 SWIDTH 666 0
  2883 DWIDTH 9 0
  2884 BBX 9 7 0 0
  2885 BITMAP
  2886 0c00
  2887 0600
  2888 ff00
  2889 0180
  2890 ff00
  2891 0600
  2892 0c00
  2893 ENDCHAR
  2894 STARTCHAR bow
  2895 ENCODING 236
  2896 SWIDTH 666 0
  2897 DWIDTH 9 0
  2898 BBX 8 3 0 4
  2899 BITMAP
  2900 3c
  2901 42
  2902 81
  2903 ENDCHAR
  2904 STARTCHAR mapsto
  2905 ENCODING 237
  2906 SWIDTH 666 0
  2907 DWIDTH 9 0
  2908 BBX 8 5 1 2
  2909 BITMAP
  2910 84
  2911 82
  2912 ff
  2913 82
  2914 84
  2915 ENDCHAR
  2916 STARTCHAR leadsto
  2917 ENCODING 238
  2918 SWIDTH 666 0
  2919 DWIDTH 9 0
  2920 BBX 8 5 0 2
  2921 BITMAP
  2922 04
  2923 62
  2924 93
  2925 0e
  2926 04
  2927 ENDCHAR
  2928 STARTCHAR up
  2929 ENCODING 239
  2930 SWIDTH 144 0
  2931 DWIDTH 9 0
  2932 BBX 5 9 2 0
  2933 BITMAP
  2934 20
  2935 70
  2936 a8
  2937 20
  2938 20
  2939 20
  2940 20
  2941 20
  2942 20
  2943 ENDCHAR
  2944 STARTCHAR down
  2945 ENCODING 240
  2946 SWIDTH 144 0
  2947 DWIDTH 9 0
  2948 BBX 5 9 2 0
  2949 BITMAP
  2950 20
  2951 20
  2952 20
  2953 20
  2954 20
  2955 20
  2956 a8
  2957 70
  2958 20
  2959 ENDCHAR
  2960 STARTCHAR notin
  2961 ENCODING 241
  2962 SWIDTH 216 0
  2963 DWIDTH 9 0
  2964 BBX 6 11 1 -3
  2965 BITMAP
  2966 08
  2967 3c
  2968 48
  2969 90
  2970 f8
  2971 90
  2972 60
  2973 3c
  2974 20
  2975 00
  2976 00
  2977 ENDCHAR
  2978 STARTCHAR times
  2979 ENCODING 242
  2980 SWIDTH 666 0
  2981 DWIDTH 9 0
  2982 BBX 6 6 1 1
  2983 BITMAP
  2984 84
  2985 48
  2986 30
  2987 30
  2988 48
  2989 84
  2990 ENDCHAR
  2991 STARTCHAR oplus
  2992 ENCODING 243
  2993 SWIDTH 240 0
  2994 DWIDTH 9 0
  2995 BBX 9 9 0 0
  2996 BITMAP
  2997 1c00
  2998 2200
  2999 4900
  3000 8880
  3001 be80
  3002 8880
  3003 4900
  3004 2200
  3005 1c00
  3006 ENDCHAR
  3007 STARTCHAR ominus
  3008 ENCODING 244
  3009 SWIDTH 240 0
  3010 DWIDTH 9 0
  3011 BBX 9 9 0 0
  3012 BITMAP
  3013 1c00
  3014 2200
  3015 4100
  3016 8080
  3017 be80
  3018 8080
  3019 4100
  3020 2200
  3021 1c00
  3022 ENDCHAR
  3023 STARTCHAR otimes
  3024 ENCODING 245
  3025 SWIDTH 666 0
  3026 DWIDTH 9 0
  3027 BBX 9 9 0 0
  3028 BITMAP
  3029 1c00
  3030 2200
  3031 6300
  3032 9480
  3033 8880
  3034 9480
  3035 6300
  3036 2200
  3037 1c00
  3038 ENDCHAR
  3039 STARTCHAR oslash
  3040 ENCODING 246
  3041 SWIDTH 666 0
  3042 DWIDTH 9 0
  3043 BBX 9 9 0 0
  3044 BITMAP
  3045 1c00
  3046 2200
  3047 4300
  3048 8480
  3049 8880
  3050 9080
  3051 6100
  3052 2200
  3053 1c00
  3054 ENDCHAR
  3055 STARTCHAR subset
  3056 ENCODING 247
  3057 SWIDTH 666 0
  3058 DWIDTH 9 0
  3059 BBX 6 10 1 -3
  3060 BITMAP
  3061 7c
  3062 80
  3063 80
  3064 80
  3065 7c
  3066 00
  3067 00
  3068 00
  3069 00
  3070 00
  3071 ENDCHAR
  3072 STARTCHAR infinity
  3073 ENCODING 248
  3074 SWIDTH 666 0
  3075 DWIDTH 9 0
  3076 BBX 9 5 1 2
  3077 BITMAP
  3078 7700
  3079 8c80
  3080 8880
  3081 9880
  3082 7700
  3083 ENDCHAR
  3084 STARTCHAR box
  3085 ENCODING 249
  3086 SWIDTH 600 0
  3087 DWIDTH 9 0
  3088 BBX 8 8 1 0
  3089 BITMAP
  3090 ff
  3091 81
  3092 81
  3093 81
  3094 81
  3095 81
  3096 81
  3097 ff
  3098 ENDCHAR
  3099 STARTCHAR diamond
  3100 ENCODING 250
  3101 SWIDTH 600 0
  3102 DWIDTH 9 0
  3103 BBX 9 9 1 0
  3104 BITMAP
  3105 0800
  3106 1400
  3107 2200
  3108 4100
  3109 8080
  3110 4100
  3111 2200
  3112 1400
  3113 0800
  3114 ENDCHAR
  3115 STARTCHAR circ
  3116 ENCODING 251
  3117 SWIDTH 666 0
  3118 DWIDTH 9 0
  3119 BBX 5 5 2 2
  3120 BITMAP
  3121 70
  3122 88
  3123 88
  3124 88
  3125 70
  3126 ENDCHAR
  3127 STARTCHAR bullet
  3128 ENCODING 252
  3129 SWIDTH 666 0
  3130 DWIDTH 9 0
  3131 BBX 5 5 2 2
  3132 BITMAP
  3133 70
  3134 f8
  3135 f8
  3136 f8
  3137 70
  3138 ENDCHAR
  3139 STARTCHAR parallel
  3140 ENCODING 253
  3141 SWIDTH 666 0
  3142 DWIDTH 9 0
  3143 BBX 6 12 1 -2
  3144 BITMAP
  3145 14
  3146 14
  3147 14
  3148 14
  3149 14
  3150 14
  3151 14
  3152 14
  3153 14
  3154 14
  3155 14
  3156 14
  3157 ENDCHAR
  3158 STARTCHAR surd
  3159 ENCODING 254
  3160 SWIDTH 0 0
  3161 DWIDTH 9 0
  3162 BBX 7 8 1 0
  3163 BITMAP
  3164 06
  3165 04
  3166 04
  3167 c8
  3168 48
  3169 50
  3170 30
  3171 20
  3172 ENDCHAR
  3173 STARTCHAR copyright
  3174 ENCODING 255
  3175 SWIDTH 666 0
  3176 DWIDTH 9 0
  3177 BBX 9 9 0 0
  3178 BITMAP
  3179 1c00
  3180 2200
  3181 5d00
  3182 a080
  3183 a080
  3184 a080
  3185 5d00
  3186 2200
  3187 1c00
  3188 ENDCHAR
  3189 ENDFONT