cgit.sxemacs.org Git - packages/blob - xemacs-packages/x-symbol/fonts/xsymb1_12.bdf

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