Admin/xsymbol/xsymb1_14.bdf
changeset 14981 e73f8140af78
parent 14980 267cc670317a
child 14982 ff1c919f4982
equal deleted inserted replaced
14980:267cc670317a 14981:e73f8140af78
     1 STARTFONT 2.1
       
     2 COMMENT xsymb1_14.bdf --- additional font for package x-symbol
       
     3 COMMENT
       
     4 COMMENT Copyright (C) 1996-1999 Free Software Foundation, Inc.
       
     5 COMMENT
       
     6 COMMENT Author: Christoph Wedler <wedler@fmi.uni-passau.de>
       
     7 COMMENT Version: $Id$
       
     8 COMMENT Keywords: fonts, WYSIWYG, LaTeX, HTML, wp, math
       
     9 COMMENT X-URL: http://www.fmi.uni-passau.de/~wedler/x-symbol/
       
    10 COMMENT
       
    11 COMMENT This font is free software; you can redistribute it and/or modify
       
    12 COMMENT it under the terms of the GNU General Public License as published by
       
    13 COMMENT the Free Software Foundation; either version 2, or (at your option)
       
    14 COMMENT any later version.
       
    15 COMMENT
       
    16 COMMENT This program is distributed in the hope that it will be useful,
       
    17 COMMENT but WITHOUT ANY WARRANTY; without even the implied warranty of
       
    18 COMMENT MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
       
    19 COMMENT GNU General Public License for more details.
       
    20 COMMENT
       
    21 COMMENT You should have received a copy of the GNU General Public License
       
    22 COMMENT along with this program; if not, write to the Free Software
       
    23 COMMENT Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
       
    24 COMMENT 
       
    25 COMMENT 
       
    26 FONT -XSYMB-XSymb1-Medium-R-Normal--14-140-75-75-P-85-XSYMB-XSymb1
       
    27 SIZE 14 75 75
       
    28 FONTBOUNDINGBOX 19 16 2 -3
       
    29 STARTPROPERTIES 23
       
    30 FONTNAME_REGISTRY ""
       
    31 FAMILY_NAME "XSymb1"
       
    32 FOUNDRY "XSYMB"
       
    33 WEIGHT_NAME "Medium"
       
    34 SETWIDTH_NAME "Normal"
       
    35 SLANT "R"
       
    36 ADD_STYLE_NAME ""
       
    37 PIXEL_SIZE 14
       
    38 POINT_SIZE 140
       
    39 RESOLUTION_X 75
       
    40 RESOLUTION_Y 75
       
    41 SPACING "P"
       
    42 AVERAGE_WIDTH 85
       
    43 CHARSET_REGISTRY "XSYMB"
       
    44 CHARSET_ENCODING "XSymb1"
       
    45 CHARSET_COLLECTIONS "XSymb1"
       
    46 FONT_DESCENT 3
       
    47 FONT_ASCENT 13
       
    48 CAP_HEIGHT 10
       
    49 X_HEIGHT 7
       
    50 FACE_NAME "XSymb1"
       
    51 DEVICE_FONT_NAME "XSymb1"
       
    52 COPYRIGHT "1997-1999 Free Software Foundation, Inc."
       
    53 ENDPROPERTIES
       
    54 CHARS 169
       
    55 STARTCHAR verticaldots
       
    56 ENCODING 33
       
    57 SWIDTH 250 0
       
    58 DWIDTH 5 0
       
    59 BBX 1 10 2 0
       
    60 BITMAP
       
    61 80
       
    62 80
       
    63 00
       
    64 00
       
    65 80
       
    66 80
       
    67 00
       
    68 00
       
    69 80
       
    70 80
       
    71 ENDCHAR
       
    72 STARTCHAR backslash1
       
    73 ENCODING 34
       
    74 SWIDTH 250 0
       
    75 DWIDTH 7 0
       
    76 BBX 6 13 0 -2
       
    77 BITMAP
       
    78 80
       
    79 c0
       
    80 40
       
    81 60
       
    82 20
       
    83 30
       
    84 10
       
    85 18
       
    86 08
       
    87 0c
       
    88 04
       
    89 00
       
    90 7c
       
    91 ENDCHAR
       
    92 STARTCHAR dagger
       
    93 ENCODING 35
       
    94 SWIDTH 250 0
       
    95 DWIDTH 7 0
       
    96 BBX 5 13 1 -2
       
    97 BITMAP
       
    98 70
       
    99 70
       
   100 20
       
   101 f8
       
   102 20
       
   103 70
       
   104 70
       
   105 70
       
   106 70
       
   107 70
       
   108 20
       
   109 20
       
   110 20
       
   111 ENDCHAR
       
   112 STARTCHAR percent2
       
   113 ENCODING 38
       
   114 SWIDTH 833 0
       
   115 DWIDTH 12 0
       
   116 BBX 9 10 1 0
       
   117 BITMAP
       
   118 7980
       
   119 9700
       
   120 9200
       
   121 9400
       
   122 6c00
       
   123 1b00
       
   124 1480
       
   125 2480
       
   126 4480
       
   127 c300
       
   128 ENDCHAR
       
   129 STARTCHAR guilsinglright
       
   130 ENCODING 39
       
   131 SWIDTH 250 0
       
   132 DWIDTH 5 0
       
   133 BBX 3 5 1 2
       
   134 BITMAP
       
   135 80
       
   136 40
       
   137 20
       
   138 40
       
   139 80
       
   140 ENDCHAR
       
   141 STARTCHAR NG
       
   142 ENCODING 40
       
   143 SWIDTH 250 0
       
   144 DWIDTH 10 0
       
   145 BBX 8 11 1 0
       
   146 BITMAP
       
   147 bc
       
   148 c2
       
   149 83
       
   150 81
       
   151 81
       
   152 81
       
   153 81
       
   154 81
       
   155 81
       
   156 91
       
   157 9e
       
   158 ENDCHAR
       
   159 STARTCHAR OE
       
   160 ENCODING 41
       
   161 SWIDTH 1000 0
       
   162 DWIDTH 15 0
       
   163 BBX 13 11 1 0
       
   164 BITMAP
       
   165 1ff8
       
   166 6300
       
   167 4100
       
   168 8100
       
   169 8100
       
   170 81f8
       
   171 8100
       
   172 8100
       
   173 4100
       
   174 6300
       
   175 1ff8
       
   176 ENDCHAR
       
   177 STARTCHAR dotlessj
       
   178 ENCODING 42
       
   179 SWIDTH 250 0
       
   180 DWIDTH 5 0
       
   181 BBX 4 11 0 -3
       
   182 BITMAP
       
   183 10
       
   184 10
       
   185 10
       
   186 10
       
   187 10
       
   188 10
       
   189 10
       
   190 10
       
   191 10
       
   192 10
       
   193 e0
       
   194 ENDCHAR
       
   195 STARTCHAR ng
       
   196 ENCODING 43
       
   197 SWIDTH 250 0
       
   198 DWIDTH 8 0
       
   199 BBX 6 11 1 -3
       
   200 BITMAP
       
   201 b8
       
   202 cc
       
   203 84
       
   204 84
       
   205 84
       
   206 84
       
   207 84
       
   208 84
       
   209 04
       
   210 14
       
   211 18
       
   212 ENDCHAR
       
   213 STARTCHAR oe
       
   214 ENCODING 44
       
   215 SWIDTH 944 0
       
   216 DWIDTH 13 0
       
   217 BBX 11 8 1 0
       
   218 BITMAP
       
   219 7bc0
       
   220 ce60
       
   221 8420
       
   222 87e0
       
   223 8400
       
   224 8400
       
   225 ce60
       
   226 7bc0
       
   227 ENDCHAR
       
   228 STARTCHAR sharp
       
   229 ENCODING 45
       
   230 SWIDTH 250 0
       
   231 DWIDTH 8 0
       
   232 BBX 6 12 1 -1
       
   233 BITMAP
       
   234 08
       
   235 4c
       
   236 5c
       
   237 78
       
   238 e8
       
   239 c8
       
   240 4c
       
   241 5c
       
   242 78
       
   243 e8
       
   244 c0
       
   245 40
       
   246 ENDCHAR
       
   247 STARTCHAR ceilingleft
       
   248 ENCODING 46
       
   249 SWIDTH 480 0
       
   250 DWIDTH 7 0
       
   251 BBX 5 13 1 -2
       
   252 BITMAP
       
   253 f8
       
   254 f8
       
   255 80
       
   256 80
       
   257 80
       
   258 80
       
   259 80
       
   260 80
       
   261 80
       
   262 80
       
   263 80
       
   264 80
       
   265 80
       
   266 ENDCHAR
       
   267 STARTCHAR ceilingright
       
   268 ENCODING 47
       
   269 SWIDTH 480 0
       
   270 DWIDTH 7 0
       
   271 BBX 5 13 1 -2
       
   272 BITMAP
       
   273 f8
       
   274 f8
       
   275 08
       
   276 08
       
   277 08
       
   278 08
       
   279 08
       
   280 08
       
   281 08
       
   282 08
       
   283 08
       
   284 08
       
   285 08
       
   286 ENDCHAR
       
   287 STARTCHAR zero
       
   288 ENCODING 48
       
   289 SWIDTH 500 0
       
   290 DWIDTH 7 0
       
   291 BBX 6 10 0 0
       
   292 BITMAP
       
   293 78
       
   294 cc
       
   295 84
       
   296 84
       
   297 84
       
   298 84
       
   299 84
       
   300 84
       
   301 cc
       
   302 78
       
   303 ENDCHAR
       
   304 STARTCHAR one
       
   305 ENCODING 49
       
   306 SWIDTH 500 0
       
   307 DWIDTH 7 0
       
   308 BBX 5 10 1 0
       
   309 BITMAP
       
   310 20
       
   311 e0
       
   312 20
       
   313 20
       
   314 20
       
   315 20
       
   316 20
       
   317 20
       
   318 20
       
   319 f8
       
   320 ENDCHAR
       
   321 STARTCHAR two
       
   322 ENCODING 50
       
   323 SWIDTH 500 0
       
   324 DWIDTH 7 0
       
   325 BBX 6 10 0 0
       
   326 BITMAP
       
   327 70
       
   328 d8
       
   329 88
       
   330 08
       
   331 18
       
   332 10
       
   333 20
       
   334 40
       
   335 c4
       
   336 fc
       
   337 ENDCHAR
       
   338 STARTCHAR three
       
   339 ENCODING 51
       
   340 SWIDTH 500 0
       
   341 DWIDTH 7 0
       
   342 BBX 6 10 0 0
       
   343 BITMAP
       
   344 78
       
   345 cc
       
   346 84
       
   347 0c
       
   348 38
       
   349 0c
       
   350 04
       
   351 04
       
   352 cc
       
   353 78
       
   354 ENDCHAR
       
   355 STARTCHAR four
       
   356 ENCODING 52
       
   357 SWIDTH 500 0
       
   358 DWIDTH 7 0
       
   359 BBX 6 10 0 0
       
   360 BITMAP
       
   361 08
       
   362 18
       
   363 18
       
   364 28
       
   365 68
       
   366 48
       
   367 88
       
   368 fc
       
   369 08
       
   370 08
       
   371 ENDCHAR
       
   372 STARTCHAR five
       
   373 ENCODING 53
       
   374 SWIDTH 500 0
       
   375 DWIDTH 7 0
       
   376 BBX 5 10 1 0
       
   377 BITMAP
       
   378 78
       
   379 40
       
   380 80
       
   381 e0
       
   382 30
       
   383 18
       
   384 08
       
   385 08
       
   386 90
       
   387 e0
       
   388 ENDCHAR
       
   389 STARTCHAR six
       
   390 ENCODING 54
       
   391 SWIDTH 500 0
       
   392 DWIDTH 7 0
       
   393 BBX 6 10 0 0
       
   394 BITMAP
       
   395 1c
       
   396 30
       
   397 40
       
   398 40
       
   399 f8
       
   400 8c
       
   401 84
       
   402 84
       
   403 cc
       
   404 78
       
   405 ENDCHAR
       
   406 STARTCHAR seven
       
   407 ENCODING 55
       
   408 SWIDTH 500 0
       
   409 DWIDTH 7 0
       
   410 BBX 6 10 1 0
       
   411 BITMAP
       
   412 fc
       
   413 84
       
   414 08
       
   415 08
       
   416 10
       
   417 10
       
   418 20
       
   419 20
       
   420 40
       
   421 40
       
   422 ENDCHAR
       
   423 STARTCHAR eight
       
   424 ENCODING 56
       
   425 SWIDTH 500 0
       
   426 DWIDTH 7 0
       
   427 BBX 5 10 1 0
       
   428 BITMAP
       
   429 70
       
   430 d8
       
   431 88
       
   432 88
       
   433 70
       
   434 88
       
   435 88
       
   436 88
       
   437 d8
       
   438 70
       
   439 ENDCHAR
       
   440 STARTCHAR nine
       
   441 ENCODING 57
       
   442 SWIDTH 500 0
       
   443 DWIDTH 7 0
       
   444 BBX 6 10 0 0
       
   445 BITMAP
       
   446 78
       
   447 cc
       
   448 84
       
   449 84
       
   450 c4
       
   451 78
       
   452 18
       
   453 10
       
   454 60
       
   455 c0
       
   456 ENDCHAR
       
   457 STARTCHAR star
       
   458 ENCODING 58
       
   459 SWIDTH 250 0
       
   460 DWIDTH 7 0
       
   461 BBX 5 10 1 2
       
   462 BITMAP
       
   463 00
       
   464 00
       
   465 00
       
   466 00
       
   467 20
       
   468 a8
       
   469 f8
       
   470 70
       
   471 50
       
   472 d8
       
   473 ENDCHAR
       
   474 STARTCHAR lozenge1
       
   475 ENCODING 59
       
   476 SWIDTH 250 0
       
   477 DWIDTH 11 0
       
   478 BBX 11 11 0 -1
       
   479 BITMAP
       
   480 0400
       
   481 0e00
       
   482 1b00
       
   483 3180
       
   484 60c0
       
   485 c060
       
   486 60c0
       
   487 3180
       
   488 1b00
       
   489 0e00
       
   490 0400
       
   491 ENDCHAR
       
   492 STARTCHAR braceleft2
       
   493 ENCODING 60
       
   494 SWIDTH 480 0
       
   495 DWIDTH 8 0
       
   496 BBX 6 13 1 -2
       
   497 BITMAP
       
   498 1c
       
   499 30
       
   500 30
       
   501 30
       
   502 30
       
   503 64
       
   504 cc
       
   505 64
       
   506 30
       
   507 30
       
   508 30
       
   509 30
       
   510 1c
       
   511 ENDCHAR
       
   512 STARTCHAR circleslash
       
   513 ENCODING 61
       
   514 SWIDTH 768 0
       
   515 DWIDTH 11 0
       
   516 BBX 9 9 1 0
       
   517 BITMAP
       
   518 1c00
       
   519 6300
       
   520 4300
       
   521 8480
       
   522 8880
       
   523 9080
       
   524 6100
       
   525 6300
       
   526 1c00
       
   527 ENDCHAR
       
   528 STARTCHAR braceright2
       
   529 ENCODING 62
       
   530 SWIDTH 480 0
       
   531 DWIDTH 8 0
       
   532 BBX 6 13 1 -2
       
   533 BITMAP
       
   534 e0
       
   535 30
       
   536 30
       
   537 30
       
   538 30
       
   539 98
       
   540 cc
       
   541 98
       
   542 30
       
   543 30
       
   544 30
       
   545 30
       
   546 e0
       
   547 ENDCHAR
       
   548 STARTCHAR triangle1
       
   549 ENCODING 63
       
   550 SWIDTH 713 0
       
   551 DWIDTH 9 0
       
   552 BBX 7 7 1 1
       
   553 BITMAP
       
   554 10
       
   555 38
       
   556 28
       
   557 44
       
   558 44
       
   559 82
       
   560 fe
       
   561 ENDCHAR
       
   562 STARTCHAR smltriangleright
       
   563 ENCODING 64
       
   564 SWIDTH 713 0
       
   565 DWIDTH 9 0
       
   566 BBX 7 7 1 1
       
   567 BITMAP
       
   568 c0
       
   569 b0
       
   570 8c
       
   571 86
       
   572 8c
       
   573 b0
       
   574 c0
       
   575 ENDCHAR
       
   576 STARTCHAR triangleleft
       
   577 ENCODING 65
       
   578 SWIDTH 713 0
       
   579 DWIDTH 11 0
       
   580 BBX 9 9 1 0
       
   581 BITMAP
       
   582 0180
       
   583 0680
       
   584 1c80
       
   585 7080
       
   586 c080
       
   587 7080
       
   588 1c80
       
   589 0680
       
   590 0180
       
   591 ENDCHAR
       
   592 STARTCHAR triangle
       
   593 ENCODING 66
       
   594 SWIDTH 713 0
       
   595 DWIDTH 11 0
       
   596 BBX 9 11 1 0
       
   597 BITMAP
       
   598 0800
       
   599 0800
       
   600 1c00
       
   601 1400
       
   602 3600
       
   603 2200
       
   604 6300
       
   605 4100
       
   606 c180
       
   607 8080
       
   608 ff80
       
   609 ENDCHAR
       
   610 STARTCHAR triangleright
       
   611 ENCODING 67
       
   612 SWIDTH 713 0
       
   613 DWIDTH 11 0
       
   614 BBX 9 9 1 0
       
   615 BITMAP
       
   616 c000
       
   617 b000
       
   618 9c00
       
   619 8700
       
   620 8180
       
   621 8700
       
   622 9c00
       
   623 b000
       
   624 c000
       
   625 ENDCHAR
       
   626 STARTCHAR trianglelefteq
       
   627 ENCODING 68
       
   628 SWIDTH 713 0
       
   629 DWIDTH 11 0
       
   630 BBX 9 11 1 -1
       
   631 BITMAP
       
   632 0180
       
   633 0680
       
   634 1c80
       
   635 7080
       
   636 c080
       
   637 7080
       
   638 1c80
       
   639 0680
       
   640 0180
       
   641 0000
       
   642 7f80
       
   643 ENDCHAR
       
   644 STARTCHAR trianglerighteq
       
   645 ENCODING 69
       
   646 SWIDTH 713 0
       
   647 DWIDTH 11 0
       
   648 BBX 9 11 1 -1
       
   649 BITMAP
       
   650 c000
       
   651 b000
       
   652 9c00
       
   653 8700
       
   654 8180
       
   655 8700
       
   656 9c00
       
   657 b000
       
   658 c000
       
   659 0000
       
   660 ff00
       
   661 ENDCHAR
       
   662 STARTCHAR periodcentered2
       
   663 ENCODING 70
       
   664 SWIDTH 250 0
       
   665 DWIDTH 7 0
       
   666 BBX 5 8 1 -2
       
   667 BITMAP
       
   668 40
       
   669 40
       
   670 00
       
   671 00
       
   672 00
       
   673 00
       
   674 00
       
   675 f8
       
   676 ENDCHAR
       
   677 STARTCHAR dotequal
       
   678 ENCODING 71
       
   679 SWIDTH 549 0
       
   680 DWIDTH 9 0
       
   681 BBX 7 6 1 2
       
   682 BITMAP
       
   683 10
       
   684 10
       
   685 00
       
   686 fe
       
   687 00
       
   688 fe
       
   689 ENDCHAR
       
   690 STARTCHAR wrong
       
   691 ENCODING 72
       
   692 SWIDTH 250 0
       
   693 DWIDTH 5 0
       
   694 BBX 3 11 1 -1
       
   695 BITMAP
       
   696 00
       
   697 c0
       
   698 20
       
   699 20
       
   700 20
       
   701 40
       
   702 40
       
   703 80
       
   704 80
       
   705 80
       
   706 60
       
   707 ENDCHAR
       
   708 STARTCHAR natural
       
   709 ENCODING 73
       
   710 SWIDTH 250 0
       
   711 DWIDTH 7 0
       
   712 BBX 5 13 1 -2
       
   713 BITMAP
       
   714 80
       
   715 80
       
   716 98
       
   717 b8
       
   718 e8
       
   719 c8
       
   720 88
       
   721 98
       
   722 b8
       
   723 e8
       
   724 c8
       
   725 08
       
   726 08
       
   727 ENDCHAR
       
   728 STARTCHAR flat
       
   729 ENCODING 74
       
   730 SWIDTH 250 0
       
   731 DWIDTH 7 0
       
   732 BBX 5 11 1 0
       
   733 BITMAP
       
   734 80
       
   735 80
       
   736 80
       
   737 f0
       
   738 98
       
   739 98
       
   740 98
       
   741 b0
       
   742 b0
       
   743 e0
       
   744 c0
       
   745 ENDCHAR
       
   746 STARTCHAR epsilon1
       
   747 ENCODING 75
       
   748 SWIDTH 439 0
       
   749 DWIDTH 6 0
       
   750 BBX 5 7 1 0
       
   751 BITMAP
       
   752 70
       
   753 c8
       
   754 80
       
   755 60
       
   756 80
       
   757 c8
       
   758 70
       
   759 ENDCHAR
       
   760 STARTCHAR hbarmath
       
   761 ENCODING 76
       
   762 SWIDTH 250 0
       
   763 DWIDTH 8 0
       
   764 BBX 7 11 0 0
       
   765 BITMAP
       
   766 00
       
   767 40
       
   768 f8
       
   769 40
       
   770 5c
       
   771 66
       
   772 42
       
   773 42
       
   774 42
       
   775 42
       
   776 42
       
   777 ENDCHAR
       
   778 STARTCHAR imath
       
   779 ENCODING 77
       
   780 SWIDTH 329 0
       
   781 DWIDTH 5 0
       
   782 BBX 4 7 0 0
       
   783 BITMAP
       
   784 70
       
   785 b0
       
   786 30
       
   787 20
       
   788 60
       
   789 60
       
   790 70
       
   791 ENDCHAR
       
   792 STARTCHAR kappa1
       
   793 ENCODING 78
       
   794 SWIDTH 329 0
       
   795 DWIDTH 9 0
       
   796 BBX 7 7 1 0
       
   797 BITMAP
       
   798 e2
       
   799 a6
       
   800 2c
       
   801 38
       
   802 68
       
   803 ca
       
   804 8e
       
   805 ENDCHAR
       
   806 STARTCHAR jmath
       
   807 ENCODING 79
       
   808 SWIDTH 329 0
       
   809 DWIDTH 7 0
       
   810 BBX 6 10 0 -3
       
   811 BITMAP
       
   812 3c
       
   813 4c
       
   814 0c
       
   815 0c
       
   816 18
       
   817 18
       
   818 18
       
   819 98
       
   820 f0
       
   821 60
       
   822 ENDCHAR
       
   823 STARTCHAR ell
       
   824 ENCODING 80
       
   825 SWIDTH 250 0
       
   826 DWIDTH 6 0
       
   827 BBX 5 11 0 0
       
   828 BITMAP
       
   829 00
       
   830 30
       
   831 48
       
   832 48
       
   833 48
       
   834 48
       
   835 48
       
   836 50
       
   837 e0
       
   838 48
       
   839 30
       
   840 ENDCHAR
       
   841 STARTCHAR amalg
       
   842 ENCODING 81
       
   843 SWIDTH 768 0
       
   844 DWIDTH 11 0
       
   845 BBX 9 10 1 0
       
   846 BITMAP
       
   847 e380
       
   848 4100
       
   849 4100
       
   850 4100
       
   851 4100
       
   852 4100
       
   853 4100
       
   854 4100
       
   855 4100
       
   856 ff80
       
   857 ENDCHAR
       
   858 STARTCHAR rho1
       
   859 ENCODING 82
       
   860 SWIDTH 549 0
       
   861 DWIDTH 8 0
       
   862 BBX 6 10 1 -3
       
   863 BITMAP
       
   864 78
       
   865 cc
       
   866 84
       
   867 84
       
   868 84
       
   869 cc
       
   870 b8
       
   871 80
       
   872 80
       
   873 78
       
   874 ENDCHAR
       
   875 STARTCHAR top
       
   876 ENCODING 83
       
   877 SWIDTH 658 0
       
   878 DWIDTH 10 0
       
   879 BBX 9 10 0 -1
       
   880 BITMAP
       
   881 ff80
       
   882 0800
       
   883 0800
       
   884 0800
       
   885 0800
       
   886 0800
       
   887 0800
       
   888 0800
       
   889 0800
       
   890 0800
       
   891 ENDCHAR
       
   892 STARTCHAR Mho
       
   893 ENCODING 84
       
   894 SWIDTH 768 0
       
   895 DWIDTH 11 0
       
   896 BBX 10 10 0 0
       
   897 BITMAP
       
   898 f3c0
       
   899 9240
       
   900 2100
       
   901 4080
       
   902 4080
       
   903 4080
       
   904 4080
       
   905 2100
       
   906 3300
       
   907 0c00
       
   908 ENDCHAR
       
   909 STARTCHAR floorleft
       
   910 ENCODING 85
       
   911 SWIDTH 480 0
       
   912 DWIDTH 7 0
       
   913 BBX 5 13 1 -2
       
   914 BITMAP
       
   915 80
       
   916 80
       
   917 80
       
   918 80
       
   919 80
       
   920 80
       
   921 80
       
   922 80
       
   923 80
       
   924 80
       
   925 80
       
   926 f8
       
   927 f8
       
   928 ENDCHAR
       
   929 STARTCHAR floorright
       
   930 ENCODING 86
       
   931 SWIDTH 480 0
       
   932 DWIDTH 7 0
       
   933 BBX 5 13 1 -2
       
   934 BITMAP
       
   935 08
       
   936 08
       
   937 08
       
   938 08
       
   939 08
       
   940 08
       
   941 08
       
   942 08
       
   943 08
       
   944 08
       
   945 08
       
   946 f8
       
   947 f8
       
   948 ENDCHAR
       
   949 STARTCHAR perpendicular1
       
   950 ENCODING 87
       
   951 SWIDTH 658 0
       
   952 DWIDTH 9 0
       
   953 BBX 7 7 1 1
       
   954 BITMAP
       
   955 10
       
   956 10
       
   957 10
       
   958 10
       
   959 10
       
   960 10
       
   961 fe
       
   962 ENDCHAR
       
   963 STARTCHAR box
       
   964 ENCODING 88
       
   965 SWIDTH 250 0
       
   966 DWIDTH 10 0
       
   967 BBX 8 9 1 0
       
   968 BITMAP
       
   969 ff
       
   970 81
       
   971 81
       
   972 81
       
   973 81
       
   974 81
       
   975 81
       
   976 81
       
   977 ff
       
   978 ENDCHAR
       
   979 STARTCHAR asciicircum1
       
   980 ENCODING 89
       
   981 SWIDTH 200 0
       
   982 DWIDTH 9 0
       
   983 BBX 7 13 1 -2
       
   984 BITMAP
       
   985 10
       
   986 38
       
   987 6c
       
   988 c6
       
   989 82
       
   990 00
       
   991 00
       
   992 00
       
   993 00
       
   994 00
       
   995 00
       
   996 00
       
   997 7c
       
   998 ENDCHAR
       
   999 STARTCHAR asciitilde1
       
  1000 ENCODING 90
       
  1001 SWIDTH 200 0
       
  1002 DWIDTH 9 0
       
  1003 BBX 7 13 1 -2
       
  1004 BITMAP
       
  1005 60
       
  1006 b2
       
  1007 9a
       
  1008 0c
       
  1009 00
       
  1010 00
       
  1011 00
       
  1012 00
       
  1013 00
       
  1014 00
       
  1015 00
       
  1016 00
       
  1017 7c
       
  1018 ENDCHAR
       
  1019 STARTCHAR leadsto
       
  1020 ENCODING 91
       
  1021 SWIDTH 987 0
       
  1022 DWIDTH 14 0
       
  1023 BBX 12 7 1 1
       
  1024 BITMAP
       
  1025 0080
       
  1026 0040
       
  1027 4220
       
  1028 e7f0
       
  1029 1820
       
  1030 0040
       
  1031 0080
       
  1032 ENDCHAR
       
  1033 STARTCHAR quotedbl1
       
  1034 ENCODING 92
       
  1035 SWIDTH 355 0
       
  1036 DWIDTH 5 0
       
  1037 BBX 3 3 1 8
       
  1038 BITMAP
       
  1039 a0
       
  1040 a0
       
  1041 a0
       
  1042 ENDCHAR
       
  1043 STARTCHAR longarrowleft
       
  1044 ENCODING 93
       
  1045 SWIDTH 987 0
       
  1046 DWIDTH 21 0
       
  1047 BBX 19 7 1 1
       
  1048 BITMAP
       
  1049 100000
       
  1050 200000
       
  1051 400000
       
  1052 ffffe0
       
  1053 400000
       
  1054 200000
       
  1055 100000
       
  1056 ENDCHAR
       
  1057 STARTCHAR arrowupdown
       
  1058 ENCODING 94
       
  1059 SWIDTH 603 0
       
  1060 DWIDTH 9 0
       
  1061 BBX 7 12 1 -2
       
  1062 BITMAP
       
  1063 10
       
  1064 38
       
  1065 54
       
  1066 92
       
  1067 10
       
  1068 10
       
  1069 10
       
  1070 10
       
  1071 92
       
  1072 54
       
  1073 38
       
  1074 10
       
  1075 ENDCHAR
       
  1076 STARTCHAR longarrowright
       
  1077 ENCODING 95
       
  1078 SWIDTH 987 0
       
  1079 DWIDTH 21 0
       
  1080 BBX 19 7 1 1
       
  1081 BITMAP
       
  1082 000100
       
  1083 000080
       
  1084 000040
       
  1085 ffffe0
       
  1086 000040
       
  1087 000080
       
  1088 000100
       
  1089 ENDCHAR
       
  1090 STARTCHAR longmapsto
       
  1091 ENCODING 96
       
  1092 SWIDTH 987 0
       
  1093 DWIDTH 21 0
       
  1094 BBX 19 7 1 1
       
  1095 BITMAP
       
  1096 000100
       
  1097 800080
       
  1098 800040
       
  1099 ffffe0
       
  1100 800040
       
  1101 800080
       
  1102 000100
       
  1103 ENDCHAR
       
  1104 STARTCHAR longarrowdblboth
       
  1105 ENCODING 97
       
  1106 SWIDTH 987 0
       
  1107 DWIDTH 21 0
       
  1108 BBX 19 7 1 1
       
  1109 BITMAP
       
  1110 100100
       
  1111 200080
       
  1112 7fffc0
       
  1113 c00060
       
  1114 7fffc0
       
  1115 200080
       
  1116 100100
       
  1117 ENDCHAR
       
  1118 STARTCHAR longarrowdblleft
       
  1119 ENCODING 98
       
  1120 SWIDTH 987 0
       
  1121 DWIDTH 21 0
       
  1122 BBX 19 7 1 1
       
  1123 BITMAP
       
  1124 100000
       
  1125 200000
       
  1126 7fffe0
       
  1127 c00000
       
  1128 7fffe0
       
  1129 200000
       
  1130 100000
       
  1131 ENDCHAR
       
  1132 STARTCHAR arrowdblupdown
       
  1133 ENCODING 99
       
  1134 SWIDTH 603 0
       
  1135 DWIDTH 9 0
       
  1136 BBX 7 12 1 -2
       
  1137 BITMAP
       
  1138 10
       
  1139 38
       
  1140 6c
       
  1141 aa
       
  1142 28
       
  1143 28
       
  1144 28
       
  1145 28
       
  1146 aa
       
  1147 6c
       
  1148 38
       
  1149 10
       
  1150 ENDCHAR
       
  1151 STARTCHAR longarrowdblright
       
  1152 ENCODING 100
       
  1153 SWIDTH 987 0
       
  1154 DWIDTH 21 0
       
  1155 BBX 19 7 1 1
       
  1156 BITMAP
       
  1157 000100
       
  1158 000080
       
  1159 ffffc0
       
  1160 000060
       
  1161 ffffc0
       
  1162 000080
       
  1163 000100
       
  1164 ENDCHAR
       
  1165 STARTCHAR mapsto
       
  1166 ENCODING 101
       
  1167 SWIDTH 987 0
       
  1168 DWIDTH 14 0
       
  1169 BBX 12 7 1 1
       
  1170 BITMAP
       
  1171 0080
       
  1172 8040
       
  1173 8020
       
  1174 fff0
       
  1175 8020
       
  1176 8040
       
  1177 0080
       
  1178 ENDCHAR
       
  1179 STARTCHAR iff
       
  1180 ENCODING 102
       
  1181 SWIDTH 987 0
       
  1182 DWIDTH 23 0
       
  1183 BBX 19 9 2 1
       
  1184 BITMAP
       
  1185 02d800
       
  1186 009000
       
  1187 12d900
       
  1188 229080
       
  1189 7a93c0
       
  1190 c00060
       
  1191 7fffc0
       
  1192 200080
       
  1193 100100
       
  1194 ENDCHAR
       
  1195 STARTCHAR hookleftarrow
       
  1196 ENCODING 103
       
  1197 SWIDTH 494 0
       
  1198 DWIDTH 14 0
       
  1199 BBX 12 7 1 1
       
  1200 BITMAP
       
  1201 1020
       
  1202 2010
       
  1203 4010
       
  1204 ffe0
       
  1205 4000
       
  1206 2000
       
  1207 1000
       
  1208 ENDCHAR
       
  1209 STARTCHAR hookrightarrow
       
  1210 ENCODING 104
       
  1211 SWIDTH 494 0
       
  1212 DWIDTH 14 0
       
  1213 BBX 12 7 1 1
       
  1214 BITMAP
       
  1215 4080
       
  1216 8040
       
  1217 8020
       
  1218 7ff0
       
  1219 0020
       
  1220 0040
       
  1221 0080
       
  1222 ENDCHAR
       
  1223 STARTCHAR arrownortheast
       
  1224 ENCODING 105
       
  1225 SWIDTH 494 0
       
  1226 DWIDTH 14 0
       
  1227 BBX 12 12 1 -2
       
  1228 BITMAP
       
  1229 01f0
       
  1230 0030
       
  1231 0050
       
  1232 0090
       
  1233 0110
       
  1234 0200
       
  1235 0400
       
  1236 0800
       
  1237 1000
       
  1238 2000
       
  1239 4000
       
  1240 8000
       
  1241 ENDCHAR
       
  1242 STARTCHAR arrowsoutheast
       
  1243 ENCODING 106
       
  1244 SWIDTH 494 0
       
  1245 DWIDTH 14 0
       
  1246 BBX 12 12 1 -2
       
  1247 BITMAP
       
  1248 8000
       
  1249 4000
       
  1250 2000
       
  1251 1000
       
  1252 0800
       
  1253 0400
       
  1254 0200
       
  1255 0110
       
  1256 0090
       
  1257 0050
       
  1258 0030
       
  1259 01f0
       
  1260 ENDCHAR
       
  1261 STARTCHAR arrownorthwest
       
  1262 ENCODING 107
       
  1263 SWIDTH 494 0
       
  1264 DWIDTH 14 0
       
  1265 BBX 12 12 1 -2
       
  1266 BITMAP
       
  1267 f800
       
  1268 c000
       
  1269 a000
       
  1270 9000
       
  1271 8800
       
  1272 0400
       
  1273 0200
       
  1274 0100
       
  1275 0080
       
  1276 0040
       
  1277 0020
       
  1278 0010
       
  1279 ENDCHAR
       
  1280 STARTCHAR arrowsouthwest
       
  1281 ENCODING 108
       
  1282 SWIDTH 494 0
       
  1283 DWIDTH 14 0
       
  1284 BBX 12 12 1 -2
       
  1285 BITMAP
       
  1286 0010
       
  1287 0020
       
  1288 0040
       
  1289 0080
       
  1290 0100
       
  1291 0200
       
  1292 0400
       
  1293 8800
       
  1294 9000
       
  1295 a000
       
  1296 c000
       
  1297 f800
       
  1298 ENDCHAR
       
  1299 STARTCHAR rightleftharpoons
       
  1300 ENCODING 109
       
  1301 SWIDTH 494 0
       
  1302 DWIDTH 14 0
       
  1303 BBX 12 9 1 0
       
  1304 BITMAP
       
  1305 0080
       
  1306 0040
       
  1307 0020
       
  1308 fff0
       
  1309 0000
       
  1310 fff0
       
  1311 4000
       
  1312 2000
       
  1313 1000
       
  1314 ENDCHAR
       
  1315 STARTCHAR leftharpoondown
       
  1316 ENCODING 110
       
  1317 SWIDTH 494 0
       
  1318 DWIDTH 14 0
       
  1319 BBX 12 4 1 2
       
  1320 BITMAP
       
  1321 fff0
       
  1322 4000
       
  1323 2000
       
  1324 1000
       
  1325 ENDCHAR
       
  1326 STARTCHAR rightharpoondown
       
  1327 ENCODING 111
       
  1328 SWIDTH 494 0
       
  1329 DWIDTH 14 0
       
  1330 BBX 12 4 1 2
       
  1331 BITMAP
       
  1332 fff0
       
  1333 0020
       
  1334 0040
       
  1335 0080
       
  1336 ENDCHAR
       
  1337 STARTCHAR leftharpoonup
       
  1338 ENCODING 112
       
  1339 SWIDTH 494 0
       
  1340 DWIDTH 14 0
       
  1341 BBX 12 4 1 4
       
  1342 BITMAP
       
  1343 1000
       
  1344 2000
       
  1345 4000
       
  1346 fff0
       
  1347 ENDCHAR
       
  1348 STARTCHAR rightharpoonup
       
  1349 ENCODING 113
       
  1350 SWIDTH 494 0
       
  1351 DWIDTH 14 0
       
  1352 BBX 12 4 1 4
       
  1353 BITMAP
       
  1354 0080
       
  1355 0040
       
  1356 0020
       
  1357 fff0
       
  1358 ENDCHAR
       
  1359 STARTCHAR bardbl
       
  1360 ENCODING 114
       
  1361 SWIDTH 480 0
       
  1362 DWIDTH 6 0
       
  1363 BBX 4 13 1 -2
       
  1364 BITMAP
       
  1365 90
       
  1366 90
       
  1367 90
       
  1368 90
       
  1369 90
       
  1370 90
       
  1371 90
       
  1372 90
       
  1373 90
       
  1374 90
       
  1375 90
       
  1376 90
       
  1377 90
       
  1378 ENDCHAR
       
  1379 STARTCHAR bardbl1
       
  1380 ENCODING 115
       
  1381 SWIDTH 480 0
       
  1382 DWIDTH 5 0
       
  1383 BBX 3 8 1 1
       
  1384 BITMAP
       
  1385 a0
       
  1386 a0
       
  1387 a0
       
  1388 a0
       
  1389 a0
       
  1390 a0
       
  1391 a0
       
  1392 a0
       
  1393 ENDCHAR
       
  1394 STARTCHAR backslash2
       
  1395 ENCODING 116
       
  1396 SWIDTH 250 0
       
  1397 DWIDTH 9 0
       
  1398 BBX 7 14 1 -2
       
  1399 BITMAP
       
  1400 80
       
  1401 c0
       
  1402 c0
       
  1403 60
       
  1404 60
       
  1405 30
       
  1406 30
       
  1407 18
       
  1408 18
       
  1409 0c
       
  1410 0c
       
  1411 06
       
  1412 06
       
  1413 02
       
  1414 ENDCHAR
       
  1415 STARTCHAR backslash3
       
  1416 ENCODING 117
       
  1417 SWIDTH 250 0
       
  1418 DWIDTH 7 0
       
  1419 BBX 5 8 1 1
       
  1420 BITMAP
       
  1421 00
       
  1422 80
       
  1423 80
       
  1424 40
       
  1425 20
       
  1426 10
       
  1427 08
       
  1428 08
       
  1429 ENDCHAR
       
  1430 STARTCHAR diagonaldots
       
  1431 ENCODING 118
       
  1432 SWIDTH 250 0
       
  1433 DWIDTH 11 0
       
  1434 BBX 9 10 1 0
       
  1435 BITMAP
       
  1436 8000
       
  1437 8000
       
  1438 0000
       
  1439 0000
       
  1440 0800
       
  1441 0800
       
  1442 0000
       
  1443 0000
       
  1444 0080
       
  1445 0080
       
  1446 ENDCHAR
       
  1447 STARTCHAR simequal
       
  1448 ENCODING 119
       
  1449 SWIDTH 549 0
       
  1450 DWIDTH 9 0
       
  1451 BBX 7 7 1 0
       
  1452 BITMAP
       
  1453 62
       
  1454 d2
       
  1455 96
       
  1456 8c
       
  1457 00
       
  1458 00
       
  1459 fe
       
  1460 ENDCHAR
       
  1461 STARTCHAR digamma
       
  1462 ENCODING 120
       
  1463 SWIDTH 500 0
       
  1464 DWIDTH 10 0
       
  1465 BBX 8 11 1 -2
       
  1466 BITMAP
       
  1467 3f
       
  1468 30
       
  1469 30
       
  1470 70
       
  1471 60
       
  1472 78
       
  1473 60
       
  1474 e0
       
  1475 c0
       
  1476 c0
       
  1477 c0
       
  1478 ENDCHAR
       
  1479 STARTCHAR asym
       
  1480 ENCODING 121
       
  1481 SWIDTH 250 0
       
  1482 DWIDTH 11 0
       
  1483 BBX 9 7 1 1
       
  1484 BITMAP
       
  1485 8080
       
  1486 4100
       
  1487 3e00
       
  1488 0000
       
  1489 3e00
       
  1490 4100
       
  1491 8080
       
  1492 ENDCHAR
       
  1493 STARTCHAR minusplus
       
  1494 ENCODING 122
       
  1495 SWIDTH 250 0
       
  1496 DWIDTH 7 0
       
  1497 BBX 5 9 1 1
       
  1498 BITMAP
       
  1499 00
       
  1500 00
       
  1501 f8
       
  1502 00
       
  1503 20
       
  1504 20
       
  1505 f8
       
  1506 20
       
  1507 20
       
  1508 ENDCHAR
       
  1509 STARTCHAR less2
       
  1510 ENCODING 123
       
  1511 SWIDTH 549 0
       
  1512 DWIDTH 8 0
       
  1513 BBX 7 7 1 0
       
  1514 BITMAP
       
  1515 02
       
  1516 0c
       
  1517 30
       
  1518 c0
       
  1519 30
       
  1520 0c
       
  1521 02
       
  1522 ENDCHAR
       
  1523 STARTCHAR bowtie
       
  1524 ENCODING 124
       
  1525 SWIDTH 250 0
       
  1526 DWIDTH 9 0
       
  1527 BBX 7 7 1 1
       
  1528 BITMAP
       
  1529 82
       
  1530 c6
       
  1531 aa
       
  1532 92
       
  1533 aa
       
  1534 c6
       
  1535 82
       
  1536 ENDCHAR
       
  1537 STARTCHAR greater
       
  1538 ENCODING 125
       
  1539 SWIDTH 549 0
       
  1540 DWIDTH 8 0
       
  1541 BBX 7 7 0 0
       
  1542 BITMAP
       
  1543 80
       
  1544 60
       
  1545 18
       
  1546 06
       
  1547 18
       
  1548 60
       
  1549 80
       
  1550 ENDCHAR
       
  1551 STARTCHAR centraldots
       
  1552 ENCODING 126
       
  1553 SWIDTH 1000 0
       
  1554 DWIDTH 13 0
       
  1555 BBX 9 2 2 4
       
  1556 BITMAP
       
  1557 8880
       
  1558 8880
       
  1559 ENDCHAR
       
  1560 STARTCHAR visiblespace
       
  1561 ENCODING 160
       
  1562 SWIDTH 250 0
       
  1563 DWIDTH 8 0
       
  1564 BBX 6 3 1 -1
       
  1565 BITMAP
       
  1566 00
       
  1567 84
       
  1568 fc
       
  1569 ENDCHAR
       
  1570 STARTCHAR dagger1
       
  1571 ENCODING 161
       
  1572 SWIDTH 250 0
       
  1573 DWIDTH 7 0
       
  1574 BBX 5 9 1 0
       
  1575 BITMAP
       
  1576 20
       
  1577 20
       
  1578 f8
       
  1579 20
       
  1580 20
       
  1581 70
       
  1582 70
       
  1583 20
       
  1584 20
       
  1585 ENDCHAR
       
  1586 STARTCHAR circledot
       
  1587 ENCODING 162
       
  1588 SWIDTH 768 0
       
  1589 DWIDTH 11 0
       
  1590 BBX 9 9 1 0
       
  1591 BITMAP
       
  1592 1c00
       
  1593 6300
       
  1594 4100
       
  1595 8080
       
  1596 8880
       
  1597 8080
       
  1598 4100
       
  1599 6300
       
  1600 1c00
       
  1601 ENDCHAR
       
  1602 STARTCHAR propersqsuperset
       
  1603 ENCODING 163
       
  1604 SWIDTH 713 0
       
  1605 DWIDTH 10 0
       
  1606 BBX 8 7 1 1
       
  1607 BITMAP
       
  1608 ff
       
  1609 01
       
  1610 01
       
  1611 01
       
  1612 01
       
  1613 01
       
  1614 ff
       
  1615 ENDCHAR
       
  1616 STARTCHAR reflexsqsuperset
       
  1617 ENCODING 164
       
  1618 SWIDTH 713 0
       
  1619 DWIDTH 10 0
       
  1620 BBX 8 9 1 0
       
  1621 BITMAP
       
  1622 ff
       
  1623 01
       
  1624 01
       
  1625 01
       
  1626 01
       
  1627 01
       
  1628 ff
       
  1629 00
       
  1630 ff
       
  1631 ENDCHAR
       
  1632 STARTCHAR gradient1
       
  1633 ENCODING 165
       
  1634 SWIDTH 713 0
       
  1635 DWIDTH 9 0
       
  1636 BBX 7 7 1 1
       
  1637 BITMAP
       
  1638 fe
       
  1639 82
       
  1640 44
       
  1641 44
       
  1642 28
       
  1643 28
       
  1644 10
       
  1645 ENDCHAR
       
  1646 STARTCHAR propersqsubset
       
  1647 ENCODING 166
       
  1648 SWIDTH 713 0
       
  1649 DWIDTH 10 0
       
  1650 BBX 8 7 1 1
       
  1651 BITMAP
       
  1652 ff
       
  1653 80
       
  1654 80
       
  1655 80
       
  1656 80
       
  1657 80
       
  1658 ff
       
  1659 ENDCHAR
       
  1660 STARTCHAR reflexsqsubset
       
  1661 ENCODING 167
       
  1662 SWIDTH 713 0
       
  1663 DWIDTH 10 0
       
  1664 BBX 8 9 1 0
       
  1665 BITMAP
       
  1666 ff
       
  1667 80
       
  1668 80
       
  1669 80
       
  1670 80
       
  1671 80
       
  1672 ff
       
  1673 00
       
  1674 ff
       
  1675 ENDCHAR
       
  1676 STARTCHAR smllozenge
       
  1677 ENCODING 168
       
  1678 SWIDTH 494 0
       
  1679 DWIDTH 9 0
       
  1680 BBX 7 7 1 1
       
  1681 BITMAP
       
  1682 10
       
  1683 28
       
  1684 44
       
  1685 82
       
  1686 44
       
  1687 28
       
  1688 10
       
  1689 ENDCHAR
       
  1690 STARTCHAR lessless
       
  1691 ENCODING 169
       
  1692 SWIDTH 549 0
       
  1693 DWIDTH 12 0
       
  1694 BBX 10 7 1 1
       
  1695 BITMAP
       
  1696 0440
       
  1697 1980
       
  1698 6600
       
  1699 8800
       
  1700 6600
       
  1701 1980
       
  1702 0440
       
  1703 ENDCHAR
       
  1704 STARTCHAR greatergreater
       
  1705 ENCODING 170
       
  1706 SWIDTH 549 0
       
  1707 DWIDTH 12 0
       
  1708 BBX 10 7 1 1
       
  1709 BITMAP
       
  1710 8800
       
  1711 6600
       
  1712 1980
       
  1713 0440
       
  1714 1980
       
  1715 6600
       
  1716 8800
       
  1717 ENDCHAR
       
  1718 STARTCHAR unionplus
       
  1719 ENCODING 171
       
  1720 SWIDTH 768 0
       
  1721 DWIDTH 11 0
       
  1722 BBX 9 8 1 1
       
  1723 BITMAP
       
  1724 8080
       
  1725 8880
       
  1726 8880
       
  1727 be80
       
  1728 8880
       
  1729 8880
       
  1730 4100
       
  1731 3e00
       
  1732 ENDCHAR
       
  1733 STARTCHAR sqintersection
       
  1734 ENCODING 172
       
  1735 SWIDTH 768 0
       
  1736 DWIDTH 11 0
       
  1737 BBX 9 8 1 1
       
  1738 BITMAP
       
  1739 ff80
       
  1740 8080
       
  1741 8080
       
  1742 8080
       
  1743 8080
       
  1744 8080
       
  1745 8080
       
  1746 8080
       
  1747 ENDCHAR
       
  1748 STARTCHAR squnion
       
  1749 ENCODING 173
       
  1750 SWIDTH 768 0
       
  1751 DWIDTH 11 0
       
  1752 BBX 9 8 1 1
       
  1753 BITMAP
       
  1754 8080
       
  1755 8080
       
  1756 8080
       
  1757 8080
       
  1758 8080
       
  1759 8080
       
  1760 8080
       
  1761 ff80
       
  1762 ENDCHAR
       
  1763 STARTCHAR frown
       
  1764 ENCODING 174
       
  1765 SWIDTH 250 0
       
  1766 DWIDTH 11 0
       
  1767 BBX 9 3 1 3
       
  1768 BITMAP
       
  1769 3e00
       
  1770 4100
       
  1771 8080
       
  1772 ENDCHAR
       
  1773 STARTCHAR smile
       
  1774 ENCODING 175
       
  1775 SWIDTH 250 0
       
  1776 DWIDTH 11 0
       
  1777 BBX 9 3 1 3
       
  1778 BITMAP
       
  1779 8080
       
  1780 4100
       
  1781 3e00
       
  1782 ENDCHAR
       
  1783 STARTCHAR reflexprec
       
  1784 ENCODING 176
       
  1785 SWIDTH 549 0
       
  1786 DWIDTH 9 0
       
  1787 BBX 7 9 1 0
       
  1788 BITMAP
       
  1789 02
       
  1790 02
       
  1791 0c
       
  1792 f0
       
  1793 0c
       
  1794 02
       
  1795 02
       
  1796 00
       
  1797 fe
       
  1798 ENDCHAR
       
  1799 STARTCHAR reflexsucc
       
  1800 ENCODING 177
       
  1801 SWIDTH 549 0
       
  1802 DWIDTH 9 0
       
  1803 BBX 7 9 1 0
       
  1804 BITMAP
       
  1805 80
       
  1806 80
       
  1807 60
       
  1808 1e
       
  1809 60
       
  1810 80
       
  1811 80
       
  1812 00
       
  1813 fe
       
  1814 ENDCHAR
       
  1815 STARTCHAR properprec
       
  1816 ENCODING 178
       
  1817 SWIDTH 549 0
       
  1818 DWIDTH 9 0
       
  1819 BBX 7 7 1 1
       
  1820 BITMAP
       
  1821 02
       
  1822 02
       
  1823 0c
       
  1824 f0
       
  1825 0c
       
  1826 02
       
  1827 02
       
  1828 ENDCHAR
       
  1829 STARTCHAR propersucc
       
  1830 ENCODING 179
       
  1831 SWIDTH 549 0
       
  1832 DWIDTH 9 0
       
  1833 BBX 7 7 1 1
       
  1834 BITMAP
       
  1835 80
       
  1836 80
       
  1837 60
       
  1838 1e
       
  1839 60
       
  1840 80
       
  1841 80
       
  1842 ENDCHAR
       
  1843 STARTCHAR bardash
       
  1844 ENCODING 180
       
  1845 SWIDTH 494 0
       
  1846 DWIDTH 9 0
       
  1847 BBX 7 9 1 0
       
  1848 BITMAP
       
  1849 80
       
  1850 80
       
  1851 80
       
  1852 80
       
  1853 fe
       
  1854 80
       
  1855 80
       
  1856 80
       
  1857 80
       
  1858 ENDCHAR
       
  1859 STARTCHAR dashbar
       
  1860 ENCODING 181
       
  1861 SWIDTH 494 0
       
  1862 DWIDTH 9 0
       
  1863 BBX 7 9 1 0
       
  1864 BITMAP
       
  1865 02
       
  1866 02
       
  1867 02
       
  1868 02
       
  1869 fe
       
  1870 02
       
  1871 02
       
  1872 02
       
  1873 02
       
  1874 ENDCHAR
       
  1875 STARTCHAR bardashdbl
       
  1876 ENCODING 182
       
  1877 SWIDTH 494 0
       
  1878 DWIDTH 9 0
       
  1879 BBX 7 9 1 0
       
  1880 BITMAP
       
  1881 80
       
  1882 80
       
  1883 80
       
  1884 fe
       
  1885 80
       
  1886 fe
       
  1887 80
       
  1888 80
       
  1889 80
       
  1890 ENDCHAR
       
  1891 STARTCHAR smlintegral
       
  1892 ENCODING 183
       
  1893 SWIDTH 274 0
       
  1894 DWIDTH 7 0
       
  1895 BBX 5 10 1 0
       
  1896 BITMAP
       
  1897 18
       
  1898 28
       
  1899 20
       
  1900 20
       
  1901 20
       
  1902 20
       
  1903 20
       
  1904 20
       
  1905 a0
       
  1906 c0
       
  1907 ENDCHAR
       
  1908 STARTCHAR circleintegral
       
  1909 ENCODING 184
       
  1910 SWIDTH 274 0
       
  1911 DWIDTH 8 0
       
  1912 BBX 6 13 1 -2
       
  1913 BITMAP
       
  1914 1c
       
  1915 34
       
  1916 30
       
  1917 30
       
  1918 78
       
  1919 b4
       
  1920 b4
       
  1921 b4
       
  1922 78
       
  1923 30
       
  1924 30
       
  1925 b0
       
  1926 e0
       
  1927 ENDCHAR
       
  1928 STARTCHAR coproduct
       
  1929 ENCODING 185
       
  1930 SWIDTH 823 0
       
  1931 DWIDTH 12 0
       
  1932 BBX 10 13 1 -2
       
  1933 BITMAP
       
  1934 f3c0
       
  1935 6180
       
  1936 6180
       
  1937 6180
       
  1938 6180
       
  1939 6180
       
  1940 6180
       
  1941 6180
       
  1942 6180
       
  1943 6180
       
  1944 6180
       
  1945 6180
       
  1946 ffc0
       
  1947 ENDCHAR
       
  1948 STARTCHAR bigcircledot
       
  1949 ENCODING 186
       
  1950 SWIDTH 768 0
       
  1951 DWIDTH 13 0
       
  1952 BBX 11 11 1 -1
       
  1953 BITMAP
       
  1954 1f00
       
  1955 3f80
       
  1956 71c0
       
  1957 e0e0
       
  1958 c060
       
  1959 c460
       
  1960 c060
       
  1961 e0e0
       
  1962 71c0
       
  1963 3f80
       
  1964 1f00
       
  1965 ENDCHAR
       
  1966 STARTCHAR bigcirclemultiply
       
  1967 ENCODING 187
       
  1968 SWIDTH 768 0
       
  1969 DWIDTH 13 0
       
  1970 BBX 11 11 1 -1
       
  1971 BITMAP
       
  1972 1f00
       
  1973 3f80
       
  1974 71c0
       
  1975 f1e0
       
  1976 ca60
       
  1977 c460
       
  1978 ca60
       
  1979 f1e0
       
  1980 71c0
       
  1981 3f80
       
  1982 1f00
       
  1983 ENDCHAR
       
  1984 STARTCHAR bigcircleplus
       
  1985 ENCODING 188
       
  1986 SWIDTH 768 0
       
  1987 DWIDTH 13 0
       
  1988 BBX 11 11 1 -1
       
  1989 BITMAP
       
  1990 1f00
       
  1991 3f80
       
  1992 75c0
       
  1993 e4e0
       
  1994 c460
       
  1995 ffe0
       
  1996 c460
       
  1997 e4e0
       
  1998 75c0
       
  1999 3f80
       
  2000 1f00
       
  2001 ENDCHAR
       
  2002 STARTCHAR biglogicaland
       
  2003 ENCODING 189
       
  2004 SWIDTH 603 0
       
  2005 DWIDTH 13 0
       
  2006 BBX 11 13 1 -2
       
  2007 BITMAP
       
  2008 0e00
       
  2009 0e00
       
  2010 1b00
       
  2011 1b00
       
  2012 1b00
       
  2013 3180
       
  2014 3180
       
  2015 3180
       
  2016 60c0
       
  2017 60c0
       
  2018 60c0
       
  2019 c060
       
  2020 c060
       
  2021 ENDCHAR
       
  2022 STARTCHAR biglogicalor
       
  2023 ENCODING 190
       
  2024 SWIDTH 603 0
       
  2025 DWIDTH 13 0
       
  2026 BBX 11 13 1 -2
       
  2027 BITMAP
       
  2028 c060
       
  2029 c060
       
  2030 60c0
       
  2031 60c0
       
  2032 60c0
       
  2033 3180
       
  2034 3180
       
  2035 3180
       
  2036 1b00
       
  2037 1b00
       
  2038 1b00
       
  2039 0e00
       
  2040 0e00
       
  2041 ENDCHAR
       
  2042 STARTCHAR bigintersection
       
  2043 ENCODING 191
       
  2044 SWIDTH 603 0
       
  2045 DWIDTH 13 0
       
  2046 BBX 11 13 1 -2
       
  2047 BITMAP
       
  2048 1f00
       
  2049 3180
       
  2050 60c0
       
  2051 c060
       
  2052 c060
       
  2053 c060
       
  2054 c060
       
  2055 c060
       
  2056 c060
       
  2057 c060
       
  2058 c060
       
  2059 c060
       
  2060 c060
       
  2061 ENDCHAR
       
  2062 STARTCHAR bigunion
       
  2063 ENCODING 192
       
  2064 SWIDTH 603 0
       
  2065 DWIDTH 13 0
       
  2066 BBX 11 13 1 -2
       
  2067 BITMAP
       
  2068 c060
       
  2069 c060
       
  2070 c060
       
  2071 c060
       
  2072 c060
       
  2073 c060
       
  2074 c060
       
  2075 c060
       
  2076 c060
       
  2077 c060
       
  2078 60c0
       
  2079 3180
       
  2080 1f00
       
  2081 ENDCHAR
       
  2082 STARTCHAR bigunionplus
       
  2083 ENCODING 193
       
  2084 SWIDTH 603 0
       
  2085 DWIDTH 13 0
       
  2086 BBX 11 13 1 -2
       
  2087 BITMAP
       
  2088 c060
       
  2089 c060
       
  2090 c060
       
  2091 c060
       
  2092 c460
       
  2093 c460
       
  2094 df60
       
  2095 c460
       
  2096 c460
       
  2097 c060
       
  2098 60c0
       
  2099 3180
       
  2100 1f00
       
  2101 ENDCHAR
       
  2102 STARTCHAR bigsqunion
       
  2103 ENCODING 194
       
  2104 SWIDTH 603 0
       
  2105 DWIDTH 13 0
       
  2106 BBX 11 13 1 -2
       
  2107 BITMAP
       
  2108 c060
       
  2109 c060
       
  2110 c060
       
  2111 c060
       
  2112 c060
       
  2113 c060
       
  2114 c060
       
  2115 c060
       
  2116 c060
       
  2117 c060
       
  2118 c060
       
  2119 c060
       
  2120 ffe0
       
  2121 ENDCHAR
       
  2122 STARTCHAR bigcircle
       
  2123 ENCODING 195
       
  2124 SWIDTH 768 0
       
  2125 DWIDTH 12 0
       
  2126 BBX 10 10 1 0
       
  2127 BITMAP
       
  2128 3f00
       
  2129 6180
       
  2130 c0c0
       
  2131 8040
       
  2132 8040
       
  2133 8040
       
  2134 8040
       
  2135 c0c0
       
  2136 6180
       
  2137 3f00
       
  2138 ENDCHAR
       
  2139 STARTCHAR guilsinglleft
       
  2140 ENCODING 196
       
  2141 SWIDTH 250 0
       
  2142 DWIDTH 5 0
       
  2143 BBX 3 5 1 2
       
  2144 BITMAP
       
  2145 20
       
  2146 40
       
  2147 80
       
  2148 40
       
  2149 20
       
  2150 ENDCHAR
       
  2151 STARTCHAR circleminus
       
  2152 ENCODING 197
       
  2153 SWIDTH 768 0
       
  2154 DWIDTH 11 0
       
  2155 BBX 9 9 1 0
       
  2156 BITMAP
       
  2157 1c00
       
  2158 6300
       
  2159 4100
       
  2160 8080
       
  2161 ff80
       
  2162 8080
       
  2163 4100
       
  2164 6300
       
  2165 1c00
       
  2166 ENDCHAR
       
  2167 STARTCHAR smltriangleleft
       
  2168 ENCODING 198
       
  2169 SWIDTH 713 0
       
  2170 DWIDTH 9 0
       
  2171 BBX 7 7 1 1
       
  2172 BITMAP
       
  2173 06
       
  2174 1a
       
  2175 62
       
  2176 c2
       
  2177 62
       
  2178 1a
       
  2179 06
       
  2180 ENDCHAR
       
  2181 STARTCHAR perthousand
       
  2182 ENCODING 199
       
  2183 SWIDTH 1000 0
       
  2184 DWIDTH 13 0
       
  2185 BBX 11 11 1 0
       
  2186 BITMAP
       
  2187 0100
       
  2188 6200
       
  2189 9200
       
  2190 9400
       
  2191 6400
       
  2192 0800
       
  2193 1000
       
  2194 16c0
       
  2195 2920
       
  2196 2920
       
  2197 46c0
       
  2198 ENDCHAR
       
  2199 STARTCHAR existential1
       
  2200 ENCODING 200
       
  2201 SWIDTH 549 0
       
  2202 DWIDTH 8 0
       
  2203 BBX 6 10 1 0
       
  2204 BITMAP
       
  2205 fc
       
  2206 04
       
  2207 04
       
  2208 04
       
  2209 fc
       
  2210 04
       
  2211 04
       
  2212 04
       
  2213 04
       
  2214 fc
       
  2215 ENDCHAR
       
  2216 STARTCHAR daggerdbl1
       
  2217 ENCODING 201
       
  2218 SWIDTH 250 0
       
  2219 DWIDTH 7 0
       
  2220 BBX 5 9 1 0
       
  2221 BITMAP
       
  2222 20
       
  2223 f8
       
  2224 20
       
  2225 70
       
  2226 20
       
  2227 70
       
  2228 20
       
  2229 f8
       
  2230 20
       
  2231 ENDCHAR
       
  2232 STARTCHAR daggerdbl
       
  2233 ENCODING 202
       
  2234 SWIDTH 250 0
       
  2235 DWIDTH 7 0
       
  2236 BBX 5 13 1 -2
       
  2237 BITMAP
       
  2238 20
       
  2239 a8
       
  2240 f8
       
  2241 20
       
  2242 70
       
  2243 70
       
  2244 20
       
  2245 70
       
  2246 70
       
  2247 20
       
  2248 f8
       
  2249 a8
       
  2250 20
       
  2251 ENDCHAR
       
  2252 STARTCHAR bigbowtie
       
  2253 ENCODING 203
       
  2254 SWIDTH 250 0
       
  2255 DWIDTH 11 0
       
  2256 BBX 9 9 1 0
       
  2257 BITMAP
       
  2258 8080
       
  2259 c180
       
  2260 a280
       
  2261 9480
       
  2262 8880
       
  2263 9480
       
  2264 a280
       
  2265 c180
       
  2266 8080
       
  2267 ENDCHAR
       
  2268 STARTCHAR circ
       
  2269 ENCODING 204
       
  2270 SWIDTH 460 0
       
  2271 DWIDTH 7 0
       
  2272 BBX 5 5 1 2
       
  2273 BITMAP
       
  2274 70
       
  2275 88
       
  2276 88
       
  2277 88
       
  2278 70
       
  2279 ENDCHAR
       
  2280 STARTCHAR grave
       
  2281 ENCODING 205
       
  2282 SWIDTH 333 0
       
  2283 DWIDTH 4 0
       
  2284 BBX 2 2 1 9
       
  2285 BITMAP
       
  2286 80
       
  2287 40
       
  2288 ENDCHAR
       
  2289 STARTCHAR circumflex
       
  2290 ENCODING 206
       
  2291 SWIDTH 333 0
       
  2292 DWIDTH 5 0
       
  2293 BBX 3 2 1 9
       
  2294 BITMAP
       
  2295 40
       
  2296 a0
       
  2297 ENDCHAR
       
  2298 STARTCHAR tilde
       
  2299 ENCODING 207
       
  2300 SWIDTH 333 0
       
  2301 DWIDTH 7 0
       
  2302 BBX 5 2 1 9
       
  2303 BITMAP
       
  2304 68
       
  2305 b0
       
  2306 ENDCHAR
       
  2307 STARTCHAR longarrowboth
       
  2308 ENCODING 208
       
  2309 SWIDTH 987 0
       
  2310 DWIDTH 21 0
       
  2311 BBX 19 7 1 1
       
  2312 BITMAP
       
  2313 100100
       
  2314 200080
       
  2315 400040
       
  2316 ffffe0
       
  2317 400040
       
  2318 200080
       
  2319 100100
       
  2320 ENDCHAR
       
  2321 STARTCHAR endash
       
  2322 ENCODING 209
       
  2323 SWIDTH 556 0
       
  2324 DWIDTH 9 0
       
  2325 BBX 9 1 0 4
       
  2326 BITMAP
       
  2327 ff80
       
  2328 ENDCHAR
       
  2329 STARTCHAR emdash
       
  2330 ENCODING 210
       
  2331 SWIDTH 1000 0
       
  2332 DWIDTH 16 0
       
  2333 BBX 16 1 0 4
       
  2334 BITMAP
       
  2335 ffff
       
  2336 ENDCHAR
       
  2337 STARTCHAR Ydiaeresis
       
  2338 ENCODING 211
       
  2339 SWIDTH 667 0
       
  2340 DWIDTH 9 0
       
  2341 BBX 9 13 0 0
       
  2342 BITMAP
       
  2343 3600
       
  2344 0000
       
  2345 8080
       
  2346 4100
       
  2347 4100
       
  2348 2200
       
  2349 2200
       
  2350 1400
       
  2351 0800
       
  2352 0800
       
  2353 0800
       
  2354 0800
       
  2355 0800
       
  2356 ENDCHAR
       
  2357 STARTCHAR ampersand2
       
  2358 ENCODING 212
       
  2359 SWIDTH 778 0
       
  2360 DWIDTH 11 0
       
  2361 BBX 9 10 1 0
       
  2362 BITMAP
       
  2363 3000
       
  2364 4800
       
  2365 4800
       
  2366 7000
       
  2367 2700
       
  2368 7200
       
  2369 ca00
       
  2370 8400
       
  2371 ce80
       
  2372 7b00
       
  2373 ENDCHAR
       
  2374 STARTCHAR universal1
       
  2375 ENCODING 213
       
  2376 SWIDTH 713 0
       
  2377 DWIDTH 9 0
       
  2378 BBX 9 10 0 0
       
  2379 BITMAP
       
  2380 8080
       
  2381 4100
       
  2382 4100
       
  2383 3e00
       
  2384 2200
       
  2385 2200
       
  2386 1400
       
  2387 1400
       
  2388 0800
       
  2389 0800
       
  2390 ENDCHAR
       
  2391 STARTCHAR booleans
       
  2392 ENCODING 214
       
  2393 SWIDTH 667 0
       
  2394 DWIDTH 11 0
       
  2395 BBX 9 10 1 0
       
  2396 BITMAP
       
  2397 ff00
       
  2398 5380
       
  2399 5280
       
  2400 5380
       
  2401 5f00
       
  2402 5380
       
  2403 5280
       
  2404 5280
       
  2405 5380
       
  2406 ff00
       
  2407 ENDCHAR
       
  2408 STARTCHAR complexnums
       
  2409 ENCODING 215
       
  2410 SWIDTH 722 0
       
  2411 DWIDTH 10 0
       
  2412 BBX 8 10 1 0
       
  2413 BITMAP
       
  2414 3d
       
  2415 63
       
  2416 a1
       
  2417 a0
       
  2418 a0
       
  2419 a0
       
  2420 a0
       
  2421 a1
       
  2422 63
       
  2423 3e
       
  2424 ENDCHAR
       
  2425 STARTCHAR natnums
       
  2426 ENCODING 216
       
  2427 SWIDTH 722 0
       
  2428 DWIDTH 11 0
       
  2429 BBX 9 10 1 0
       
  2430 BITMAP
       
  2431 e380
       
  2432 7100
       
  2433 5900
       
  2434 6d00
       
  2435 7700
       
  2436 5b00
       
  2437 4d00
       
  2438 4700
       
  2439 4300
       
  2440 e100
       
  2441 ENDCHAR
       
  2442 STARTCHAR rationalnums
       
  2443 ENCODING 217
       
  2444 SWIDTH 722 0
       
  2445 DWIDTH 11 0
       
  2446 BBX 9 11 1 -1
       
  2447 BITMAP
       
  2448 3e00
       
  2449 6300
       
  2450 a280
       
  2451 a280
       
  2452 a280
       
  2453 a280
       
  2454 a280
       
  2455 a280
       
  2456 6300
       
  2457 3e00
       
  2458 0780
       
  2459 ENDCHAR
       
  2460 STARTCHAR realnums
       
  2461 ENCODING 218
       
  2462 SWIDTH 667 0
       
  2463 DWIDTH 11 0
       
  2464 BBX 9 10 1 0
       
  2465 BITMAP
       
  2466 ff00
       
  2467 5380
       
  2468 5280
       
  2469 5380
       
  2470 5f00
       
  2471 5a00
       
  2472 5500
       
  2473 5580
       
  2474 5280
       
  2475 f380
       
  2476 ENDCHAR
       
  2477 STARTCHAR integers
       
  2478 ENCODING 219
       
  2479 SWIDTH 611 0
       
  2480 DWIDTH 10 0
       
  2481 BBX 8 10 1 0
       
  2482 BITMAP
       
  2483 ff
       
  2484 8a
       
  2485 96
       
  2486 34
       
  2487 2c
       
  2488 68
       
  2489 58
       
  2490 d3
       
  2491 a5
       
  2492 ff
       
  2493 ENDCHAR
       
  2494 STARTCHAR lesssim
       
  2495 ENCODING 220
       
  2496 SWIDTH 549 0
       
  2497 DWIDTH 9 0
       
  2498 BBX 7 10 1 0
       
  2499 BITMAP
       
  2500 02
       
  2501 0c
       
  2502 30
       
  2503 c0
       
  2504 30
       
  2505 0c
       
  2506 02
       
  2507 00
       
  2508 72
       
  2509 9c
       
  2510 ENDCHAR
       
  2511 STARTCHAR greatersim
       
  2512 ENCODING 221
       
  2513 SWIDTH 549 0
       
  2514 DWIDTH 9 0
       
  2515 BBX 7 10 1 0
       
  2516 BITMAP
       
  2517 80
       
  2518 60
       
  2519 18
       
  2520 06
       
  2521 18
       
  2522 60
       
  2523 80
       
  2524 00
       
  2525 72
       
  2526 9c
       
  2527 ENDCHAR
       
  2528 STARTCHAR lessapprox
       
  2529 ENCODING 222
       
  2530 SWIDTH 549 0
       
  2531 DWIDTH 9 0
       
  2532 BBX 7 13 1 -2
       
  2533 BITMAP
       
  2534 02
       
  2535 0c
       
  2536 30
       
  2537 c0
       
  2538 30
       
  2539 0c
       
  2540 02
       
  2541 00
       
  2542 72
       
  2543 9c
       
  2544 00
       
  2545 72
       
  2546 9c
       
  2547 ENDCHAR
       
  2548 STARTCHAR greaterapprox
       
  2549 ENCODING 223
       
  2550 SWIDTH 549 0
       
  2551 DWIDTH 9 0
       
  2552 BBX 7 13 1 -2
       
  2553 BITMAP
       
  2554 80
       
  2555 60
       
  2556 18
       
  2557 06
       
  2558 18
       
  2559 60
       
  2560 80
       
  2561 00
       
  2562 72
       
  2563 9c
       
  2564 00
       
  2565 72
       
  2566 9c
       
  2567 ENDCHAR
       
  2568 STARTCHAR definedas
       
  2569 ENCODING 224
       
  2570 SWIDTH 549 0
       
  2571 DWIDTH 9 0
       
  2572 BBX 7 7 1 2
       
  2573 BITMAP
       
  2574 10
       
  2575 28
       
  2576 7c
       
  2577 00
       
  2578 fe
       
  2579 00
       
  2580 fe
       
  2581 ENDCHAR
       
  2582 STARTCHAR circleminus1
       
  2583 ENCODING 225
       
  2584 SWIDTH 768 0
       
  2585 DWIDTH 11 0
       
  2586 BBX 9 9 1 0
       
  2587 BITMAP
       
  2588 1c00
       
  2589 6300
       
  2590 4100
       
  2591 8080
       
  2592 be80
       
  2593 8080
       
  2594 4100
       
  2595 6300
       
  2596 1c00
       
  2597 ENDCHAR
       
  2598 STARTCHAR circleasterisk
       
  2599 ENCODING 226
       
  2600 SWIDTH 768 0
       
  2601 DWIDTH 11 0
       
  2602 BBX 9 9 1 0
       
  2603 BITMAP
       
  2604 1c00
       
  2605 6300
       
  2606 4900
       
  2607 aa80
       
  2608 9c80
       
  2609 aa80
       
  2610 4900
       
  2611 6300
       
  2612 1c00
       
  2613 ENDCHAR
       
  2614 STARTCHAR circlecirc
       
  2615 ENCODING 227
       
  2616 SWIDTH 768 0
       
  2617 DWIDTH 11 0
       
  2618 BBX 9 9 1 0
       
  2619 BITMAP
       
  2620 1c00
       
  2621 6300
       
  2622 5d00
       
  2623 a280
       
  2624 a280
       
  2625 a280
       
  2626 5d00
       
  2627 6300
       
  2628 1c00
       
  2629 ENDCHAR
       
  2630 STARTCHAR dollar1
       
  2631 ENCODING 228
       
  2632 SWIDTH 556 0
       
  2633 DWIDTH 9 0
       
  2634 BBX 7 13 1 -2
       
  2635 BITMAP
       
  2636 28
       
  2637 28
       
  2638 7c
       
  2639 aa
       
  2640 a8
       
  2641 a8
       
  2642 7c
       
  2643 2a
       
  2644 2a
       
  2645 aa
       
  2646 7c
       
  2647 28
       
  2648 28
       
  2649 ENDCHAR
       
  2650 STARTCHAR euro
       
  2651 ENCODING 229
       
  2652 SWIDTH 722 0
       
  2653 DWIDTH 11 0
       
  2654 BBX 9 11 1 -1
       
  2655 BITMAP
       
  2656 1f00
       
  2657 3180
       
  2658 6080
       
  2659 4000
       
  2660 ff00
       
  2661 4000
       
  2662 fe00
       
  2663 4000
       
  2664 6080
       
  2665 3180
       
  2666 1f00
       
  2667 ENDCHAR
       
  2668 STARTCHAR therefore1
       
  2669 ENCODING 230
       
  2670 SWIDTH 863 0
       
  2671 DWIDTH 10 0
       
  2672 BBX 8 7 1 0
       
  2673 BITMAP
       
  2674 18
       
  2675 18
       
  2676 00
       
  2677 00
       
  2678 00
       
  2679 c3
       
  2680 c3
       
  2681 ENDCHAR
       
  2682 STARTCHAR coloncolon
       
  2683 ENCODING 231
       
  2684 SWIDTH 863 0
       
  2685 DWIDTH 7 0
       
  2686 BBX 5 7 1 0
       
  2687 BITMAP
       
  2688 d8
       
  2689 d8
       
  2690 00
       
  2691 00
       
  2692 00
       
  2693 d8
       
  2694 d8
       
  2695 ENDCHAR
       
  2696 STARTCHAR bigsqintersection
       
  2697 ENCODING 232
       
  2698 SWIDTH 603 0
       
  2699 DWIDTH 13 0
       
  2700 BBX 11 13 1 -2
       
  2701 BITMAP
       
  2702 ffe0
       
  2703 c060
       
  2704 c060
       
  2705 c060
       
  2706 c060
       
  2707 c060
       
  2708 c060
       
  2709 c060
       
  2710 c060
       
  2711 c060
       
  2712 c060
       
  2713 c060
       
  2714 c060
       
  2715 ENDCHAR
       
  2716 STARTCHAR semanticsleft
       
  2717 ENCODING 233
       
  2718 SWIDTH 556 0
       
  2719 DWIDTH 6 0
       
  2720 BBX 5 13 1 -2
       
  2721 BITMAP
       
  2722 f8
       
  2723 a0
       
  2724 a0
       
  2725 a0
       
  2726 a0
       
  2727 a0
       
  2728 a0
       
  2729 a0
       
  2730 a0
       
  2731 a0
       
  2732 a0
       
  2733 a0
       
  2734 f8
       
  2735 ENDCHAR
       
  2736 STARTCHAR semanticsright
       
  2737 ENCODING 234
       
  2738 SWIDTH 556 0
       
  2739 DWIDTH 6 0
       
  2740 BBX 5 13 0 -2
       
  2741 BITMAP
       
  2742 f8
       
  2743 28
       
  2744 28
       
  2745 28
       
  2746 28
       
  2747 28
       
  2748 28
       
  2749 28
       
  2750 28
       
  2751 28
       
  2752 28
       
  2753 28
       
  2754 f8
       
  2755 ENDCHAR
       
  2756 STARTCHAR doubleparenleft
       
  2757 ENCODING 235
       
  2758 SWIDTH 1000 0
       
  2759 DWIDTH 6 0
       
  2760 BBX 4 13 1 -2
       
  2761 BITMAP
       
  2762 30
       
  2763 50
       
  2764 50
       
  2765 90
       
  2766 90
       
  2767 90
       
  2768 90
       
  2769 90
       
  2770 90
       
  2771 90
       
  2772 50
       
  2773 50
       
  2774 30
       
  2775 ENDCHAR
       
  2776 STARTCHAR doubleparenright
       
  2777 ENCODING 236
       
  2778 SWIDTH 1000 0
       
  2779 DWIDTH 6 0
       
  2780 BBX 4 13 1 -2
       
  2781 BITMAP
       
  2782 c0
       
  2783 a0
       
  2784 a0
       
  2785 90
       
  2786 90
       
  2787 90
       
  2788 90
       
  2789 90
       
  2790 90
       
  2791 90
       
  2792 a0
       
  2793 a0
       
  2794 c0
       
  2795 ENDCHAR
       
  2796 ENDFONT