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