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

   1 STARTFONT 2.1
   2 COMMENT xsymb1_14.bdf --- additional font for package x-symbol
   3 COMMENT
   4 COMMENT Copyright (C) 1996-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--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-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 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 zero1
 288 ENCODING 48
 289 SWIDTH 556 0
 290 DWIDTH 9 0
 291 BBX 8 10 1 0
 292 BITMAP
 293 1E
 294 33
 295 63
 296 63
 297 C3
 298 C3
 299 C6
 300 C6
 301 CC
 302 78
 303 ENDCHAR
 304 STARTCHAR one1
 305 ENCODING 49
 306 SWIDTH 556 0
 307 DWIDTH 8 0
 308 BBX 5 10 2 0
 309 BITMAP
 310 18
 311 F8
 312 30
 313 30
 314 30
 315 60
 316 60
 317 60
 318 C0
 319 C0
 320 ENDCHAR
 321 STARTCHAR two1
 322 ENCODING 50
 323 SWIDTH 556 0
 324 DWIDTH 9 0
 325 BBX 8 10 1 0
 326 BITMAP
 327 3E
 328 63
 329 63
 330 07
 331 0E
 332 38
 333 70
 334 C0
 335 C0
 336 FC
 337 ENDCHAR
 338 STARTCHAR three1
 339 ENCODING 51
 340 SWIDTH 556 0
 341 DWIDTH 9 0
 342 BBX 8 10 1 0
 343 BITMAP
 344 1E
 345 33
 346 33
 347 06
 348 1C
 349 06
 350 06
 351 C6
 352 CC
 353 78
 354 ENDCHAR
 355 STARTCHAR four1
 356 ENCODING 52
 357 SWIDTH 556 0
 358 DWIDTH 9 0
 359 BBX 8 10 1 0
 360 BITMAP
 361 03
 362 07
 363 1B
 364 33
 365 66
 366 C6
 367 FF
 368 0C
 369 0C
 370 0C
 371 ENDCHAR
 372 STARTCHAR five1
 373 ENCODING 53
 374 SWIDTH 556 0
 375 DWIDTH 9 0
 376 BBX 8 10 1 0
 377 BITMAP
 378 3F
 379 30
 380 60
 381 7C
 382 0E
 383 06
 384 06
 385 C6
 386 CC
 387 78
 388 ENDCHAR
 389 STARTCHAR six1
 390 ENCODING 54
 391 SWIDTH 556 0
 392 DWIDTH 9 0
 393 BBX 8 10 1 0
 394 BITMAP
 395 1E
 396 33
 397 60
 398 40
 399 DC
 400 F6
 401 C6
 402 C6
 403 CC
 404 78
 405 ENDCHAR
 406 STARTCHAR seven1
 407 ENCODING 55
 408 SWIDTH 556 0
 409 DWIDTH 8 0
 410 BBX 7 10 1 0
 411 BITMAP
 412 7E
 413 06
 414 0C
 415 18
 416 30
 417 30
 418 60
 419 60
 420 C0
 421 C0
 422 ENDCHAR
 423 STARTCHAR eight1
 424 ENCODING 56
 425 SWIDTH 556 0
 426 DWIDTH 9 0
 427 BBX 8 10 1 0
 428 BITMAP
 429 1E
 430 33
 431 63
 432 66
 433 3C
 434 66
 435 C6
 436 C6
 437 CC
 438 78
 439 ENDCHAR
 440 STARTCHAR nine1
 441 ENCODING 57
 442 SWIDTH 556 0
 443 DWIDTH 9 0
 444 BBX 8 10 1 0
 445 BITMAP
 446 1E
 447 33
 448 63
 449 63
 450 63
 451 3E
 452 06
 453 C6
 454 CC
 455 78
 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 cataleft
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 cataright
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