|
|
1.1 root 1: STARTFONT 2.1
2: COMMENT the Lisp Machine name for this font was "s53sym.ast"
3: FONT sym-s53.bdf
4: SIZE 50 75 75
5: FONTBOUNDINGBOX 34 35 0 0
6: STARTPROPERTIES 3
7: FONT_DESCENT 18
8: FONT_ASCENT 35
9: COPYRIGHT "Public domain font. Share and enjoy."
10: ENDPROPERTIES
11: CHARS 21
12: STARTCHAR C022
13: ENCODING 18
14: SWIDTH 520 0
15: DWIDTH 26 0
16: BBX 26 53 0 -18
17: BITMAP
18: 000000
19: 000000
20: 000000
21: 000000
22: 000000
23: 000000
24: 000000
25: 00fc00
26: 03ff00
27: 0fffc0
28: 1f87e0
29: 3e01f0
30: 7c00f8
31: 780078
32: f0003c
33: f0003c
34: f0003c
35: f0003c
36: f0003c
37: f0003c
38: f0003c
39: f0003c
40: f0003c
41: f0003c
42: f0003c
43: f0003c
44: f0003c
45: f0003c
46: f0003c
47: f0003c
48: f0003c
49: f0003c
50: f0003c
51: f0003c
52: f0003c
53: f0003c
54: f0003c
55: f0003c
56: f0003c
57: f0003c
58: f0003c
59: f0003c
60: f0003c
61: f0003c
62: f0003c
63: f0003c
64: 000000
65: 000000
66: 000000
67: 000000
68: 000000
69: 000000
70: 000000
71: ENDCHAR
72: STARTCHAR C023
73: ENCODING 19
74: SWIDTH 520 0
75: DWIDTH 26 0
76: BBX 26 53 0 -18
77: BITMAP
78: 000000
79: 000000
80: 000000
81: 000000
82: 000000
83: 000000
84: 000000
85: 000000
86: f0003c
87: f0003c
88: f0003c
89: f0003c
90: f0003c
91: f0003c
92: f0003c
93: f0003c
94: f0003c
95: f0003c
96: f0003c
97: f0003c
98: f0003c
99: f0003c
100: f0003c
101: f0003c
102: f0003c
103: f0003c
104: f0003c
105: f0003c
106: f0003c
107: f0003c
108: f0003c
109: f0003c
110: f0003c
111: f0003c
112: f0003c
113: f0003c
114: f0003c
115: f8007c
116: 780078
117: 7c00f8
118: 3e03f0
119: 1f8fe0
120: 0fffc0
121: 03ff00
122: 00fc00
123: 000000
124: 000000
125: 000000
126: 000000
127: 000000
128: 000000
129: 000000
130: 000000
131: ENDCHAR
132: STARTCHAR C040
133: ENCODING 32
134: SWIDTH 200 0
135: DWIDTH 10 0
136: BBX 10 53 0 -18
137: BITMAP
138: 00
139: 00
140: 00
141: 00
142: 00
143: 00
144: 00
145: 00
146: 00
147: 00
148: 00
149: 00
150: 00
151: 00
152: 00
153: 00
154: 00
155: 00
156: 00
157: 00
158: 00
159: 00
160: 00
161: 00
162: 00
163: 00
164: 00
165: 00
166: 00
167: 00
168: 00
169: 00
170: 00
171: 00
172: 00
173: 00
174: 00
175: 00
176: 00
177: 00
178: 00
179: 00
180: 00
181: 00
182: 00
183: 00
184: 00
185: 00
186: 00
187: 00
188: 00
189: 00
190: 00
191: ENDCHAR
192: STARTCHAR (
193: ENCODING 40
194: SWIDTH 260 0
195: DWIDTH 13 0
196: BBX 13 53 0 -18
197: BITMAP
198: 0180
199: 0380
200: 0e00
201: 0c00
202: 3800
203: 3000
204: 7000
205: 6000
206: 6000
207: e000
208: c000
209: c000
210: c000
211: c000
212: c000
213: c000
214: c000
215: c000
216: c000
217: c000
218: c000
219: c000
220: c000
221: c000
222: c000
223: c000
224: c000
225: c000
226: c000
227: c000
228: c000
229: c000
230: c000
231: c000
232: c000
233: c000
234: c000
235: c000
236: c000
237: c000
238: c000
239: c000
240: c000
241: e000
242: 6000
243: 6000
244: 7000
245: 3000
246: 3800
247: 1c00
248: 0e00
249: 0380
250: 0180
251: ENDCHAR
252: STARTCHAR )
253: ENCODING 41
254: SWIDTH 260 0
255: DWIDTH 13 0
256: BBX 13 53 0 -18
257: BITMAP
258: c000
259: 7000
260: 3800
261: 1800
262: 0e00
263: 0600
264: 0700
265: 0300
266: 0300
267: 0380
268: 0180
269: 0180
270: 0180
271: 0180
272: 0180
273: 0180
274: 0180
275: 0180
276: 0180
277: 0180
278: 0180
279: 0180
280: 0180
281: 0180
282: 0180
283: 0180
284: 0180
285: 0180
286: 0180
287: 0180
288: 0180
289: 0180
290: 0180
291: 0180
292: 0180
293: 0180
294: 0180
295: 0180
296: 0180
297: 0180
298: 0180
299: 0180
300: 0180
301: 0380
302: 0300
303: 0300
304: 0700
305: 0600
306: 1e00
307: 1800
308: 3800
309: f000
310: c000
311: ENDCHAR
312: STARTCHAR /
313: ENCODING 47
314: SWIDTH 420 0
315: DWIDTH 21 0
316: BBX 21 53 0 -18
317: BITMAP
318: 000000
319: 0000c0
320: 0000c0
321: 0001c0
322: 000180
323: 000180
324: 000380
325: 000300
326: 000300
327: 000300
328: 000700
329: 000600
330: 000e00
331: 000c00
332: 000c00
333: 001c00
334: 001800
335: 001800
336: 003800
337: 003000
338: 003000
339: 007000
340: 006000
341: 006000
342: 006000
343: 00e000
344: 00c000
345: 01c000
346: 018000
347: 018000
348: 038000
349: 030000
350: 030000
351: 070000
352: 060000
353: 060000
354: 0e0000
355: 0c0000
356: 0c0000
357: 0c0000
358: 1c0000
359: 180000
360: 380000
361: 300000
362: 300000
363: 700000
364: 600000
365: 600000
366: c00000
367: c00000
368: c00000
369: c00000
370: 000000
371: ENDCHAR
372: STARTCHAR 2
373: ENCODING 50
374: SWIDTH 500 0
375: DWIDTH 25 0
376: BBX 25 53 0 -18
377: BITMAP
378: 000006
379: 000006
380: 000006
381: 000006
382: 000006
383: 00000c
384: 00000c
385: 00000c
386: 00000c
387: 000018
388: 000018
389: 000018
390: 000018
391: 000030
392: 000030
393: 000030
394: 000030
395: 000060
396: 000060
397: 000060
398: 000060
399: 0000c0
400: 0000c0
401: 0000c0
402: 0000c0
403: 000180
404: 000180
405: 000180
406: 000180
407: 000300
408: 000300
409: 000300
410: 000300
411: 000600
412: 000600
413: 000600
414: 000600
415: 000c00
416: 000c00
417: 000c00
418: 000c00
419: f81800
420: f81800
421: 1c1800
422: 1c1800
423: 0e3000
424: 0e3000
425: 073000
426: 073000
427: 03e000
428: 03e000
429: 01c000
430: 00c000
431: ENDCHAR
432: STARTCHAR I
433: ENCODING 73
434: SWIDTH 420 0
435: DWIDTH 21 0
436: BBX 21 53 0 -18
437: BITMAP
438: 000000
439: 000000
440: 000000
441: 000000
442: 001f00
443: 003f80
444: 0071c0
445: 0060c0
446: 0060c0
447: 0060c0
448: 0060c0
449: 006000
450: 006000
451: 006000
452: 006000
453: 006000
454: 006000
455: 006000
456: 00c000
457: 00c000
458: 00c000
459: 00c000
460: 00c000
461: 00c000
462: 00c000
463: 00c000
464: 00c000
465: 00c000
466: 00c000
467: 00c000
468: 00c000
469: 00c000
470: 00c000
471: 00c000
472: 00c000
473: 018000
474: 018000
475: 018000
476: 018000
477: 018000
478: 018000
479: c18000
480: c18000
481: c18000
482: c18000
483: c18000
484: e38000
485: 7f0000
486: 3e0000
487: 000000
488: 000000
489: 000000
490: 000000
491: ENDCHAR
492: STARTCHAR P
493: ENCODING 80
494: SWIDTH 560 0
495: DWIDTH 28 0
496: BBX 28 53 0 -18
497: BITMAP
498: 00000000
499: 00000000
500: 00000000
501: 00000000
502: 00000000
503: 00000000
504: 00000000
505: ffffffc0
506: ffffffc0
507: 38000700
508: 38000700
509: 38000700
510: 38000700
511: 38000700
512: 38000700
513: 38000700
514: 38000700
515: 38000700
516: 38000700
517: 38000700
518: 38000700
519: 38000700
520: 38000700
521: 38000700
522: 38000700
523: 38000700
524: 38000700
525: 38000700
526: 38000700
527: 38000700
528: 38000700
529: 38000700
530: 38000700
531: 38000700
532: 38000700
533: 38000700
534: 38000700
535: 38000700
536: 38000700
537: 38000700
538: 38000700
539: 38000700
540: 38000700
541: 38000700
542: fe001fc0
543: fe001fc0
544: 00000000
545: 00000000
546: 00000000
547: 00000000
548: 00000000
549: 00000000
550: 00000000
551: ENDCHAR
552: STARTCHAR S
553: ENCODING 83
554: SWIDTH 680 0
555: DWIDTH 34 0
556: BBX 34 53 0 -18
557: BITMAP
558: 00000000
559: 00000000
560: 00000000
561: 00000000
562: 00000000
563: 00000000
564: 00000000
565: fffffffc
566: fffffffc
567: e000001e
568: e000000e
569: 70000007
570: 38000003
571: 1c000000
572: 0e000000
573: 07000000
574: 03800000
575: 01c00000
576: 00e00000
577: 00700000
578: 00380000
579: 001c0000
580: 000e0000
581: 00070000
582: 00038000
583: 0003c000
584: 0003c000
585: 00038000
586: 00030000
587: 00060000
588: 000c0000
589: 00180000
590: 00300000
591: 00600000
592: 00c00000
593: 01800000
594: 03000000
595: 06000000
596: 0c000001
597: 18000003
598: 30000007
599: 6000000f
600: c000001e
601: fffffffe
602: fffffffc
603: fffffffc
604: 00000000
605: 00000000
606: 00000000
607: 00000000
608: 00000000
609: 00000000
610: 00000000
611: ENDCHAR
612: STARTCHAR [
613: ENCODING 91
614: SWIDTH 280 0
615: DWIDTH 14 0
616: BBX 14 53 0 -18
617: BITMAP
618: ffc0
619: ffc0
620: c000
621: c000
622: c000
623: c000
624: c000
625: c000
626: c000
627: c000
628: c000
629: c000
630: c000
631: c000
632: c000
633: c000
634: c000
635: c000
636: c000
637: c000
638: c000
639: c000
640: c000
641: c000
642: c000
643: c000
644: c000
645: c000
646: c000
647: c000
648: c000
649: c000
650: c000
651: c000
652: c000
653: c000
654: c000
655: c000
656: c000
657: c000
658: c000
659: c000
660: c000
661: c000
662: c000
663: c000
664: c000
665: c000
666: c000
667: c000
668: c000
669: ffc0
670: ffc0
671: ENDCHAR
672: STARTCHAR ]
673: ENCODING 93
674: SWIDTH 280 0
675: DWIDTH 14 0
676: BBX 14 53 0 -18
677: BITMAP
678: ffc0
679: ffc0
680: 00c0
681: 00c0
682: 00c0
683: 00c0
684: 00c0
685: 00c0
686: 00c0
687: 00c0
688: 00c0
689: 00c0
690: 00c0
691: 00c0
692: 00c0
693: 00c0
694: 00c0
695: 00c0
696: 00c0
697: 00c0
698: 00c0
699: 00c0
700: 00c0
701: 00c0
702: 00c0
703: 00c0
704: 00c0
705: 00c0
706: 00c0
707: 00c0
708: 00c0
709: 00c0
710: 00c0
711: 00c0
712: 00c0
713: 00c0
714: 00c0
715: 00c0
716: 00c0
717: 00c0
718: 00c0
719: 00c0
720: 00c0
721: 00c0
722: 00c0
723: 00c0
724: 00c0
725: 00c0
726: 00c0
727: 00c0
728: 00c0
729: ffc0
730: ffc0
731: ENDCHAR
732: STARTCHAR a
733: ENCODING 97
734: SWIDTH 280 0
735: DWIDTH 14 0
736: BBX 14 53 0 -18
737: BITMAP
738: ffc0
739: ffc0
740: c000
741: c000
742: c000
743: c000
744: c000
745: c000
746: c000
747: c000
748: c000
749: c000
750: c000
751: c000
752: c000
753: c000
754: c000
755: c000
756: c000
757: c000
758: c000
759: c000
760: c000
761: c000
762: c000
763: c000
764: c000
765: c000
766: c000
767: c000
768: c000
769: c000
770: c000
771: c000
772: c000
773: c000
774: c000
775: c000
776: c000
777: c000
778: c000
779: c000
780: c000
781: c000
782: c000
783: c000
784: c000
785: c000
786: c000
787: c000
788: c000
789: c000
790: c000
791: ENDCHAR
792: STARTCHAR b
793: ENCODING 98
794: SWIDTH 280 0
795: DWIDTH 14 0
796: BBX 14 53 0 -18
797: BITMAP
798: c0
799: c0
800: c0
801: c0
802: c0
803: c0
804: c0
805: c0
806: c0
807: c0
808: c0
809: c0
810: c0
811: c0
812: c0
813: c0
814: c0
815: c0
816: c0
817: c0
818: c0
819: c0
820: c0
821: c0
822: c0
823: c0
824: c0
825: c0
826: c0
827: c0
828: c0
829: c0
830: c0
831: c0
832: c0
833: c0
834: c0
835: c0
836: c0
837: c0
838: c0
839: c0
840: c0
841: c0
842: c0
843: c0
844: c0
845: c0
846: c0
847: c0
848: c0
849: c0
850: c0
851: ENDCHAR
852: STARTCHAR c
853: ENCODING 99
854: SWIDTH 280 0
855: DWIDTH 14 0
856: BBX 14 53 0 -18
857: BITMAP
858: c000
859: c000
860: c000
861: c000
862: c000
863: c000
864: c000
865: c000
866: c000
867: c000
868: c000
869: c000
870: c000
871: c000
872: c000
873: c000
874: c000
875: c000
876: c000
877: c000
878: c000
879: c000
880: c000
881: c000
882: c000
883: c000
884: c000
885: c000
886: c000
887: c000
888: c000
889: c000
890: c000
891: c000
892: c000
893: c000
894: c000
895: c000
896: c000
897: c000
898: c000
899: c000
900: c000
901: c000
902: c000
903: c000
904: c000
905: c000
906: c000
907: c000
908: c000
909: ffc0
910: ffc0
911: ENDCHAR
912: STARTCHAR d
913: ENCODING 100
914: SWIDTH 280 0
915: DWIDTH 14 0
916: BBX 14 53 0 -18
917: BITMAP
918: ffc0
919: ffc0
920: 00c0
921: 00c0
922: 00c0
923: 00c0
924: 00c0
925: 00c0
926: 00c0
927: 00c0
928: 00c0
929: 00c0
930: 00c0
931: 00c0
932: 00c0
933: 00c0
934: 00c0
935: 00c0
936: 00c0
937: 00c0
938: 00c0
939: 00c0
940: 00c0
941: 00c0
942: 00c0
943: 00c0
944: 00c0
945: 00c0
946: 00c0
947: 00c0
948: 00c0
949: 00c0
950: 00c0
951: 00c0
952: 00c0
953: 00c0
954: 00c0
955: 00c0
956: 00c0
957: 00c0
958: 00c0
959: 00c0
960: 00c0
961: 00c0
962: 00c0
963: 00c0
964: 00c0
965: 00c0
966: 00c0
967: 00c0
968: 00c0
969: 00c0
970: 00c0
971: ENDCHAR
972: STARTCHAR e
973: ENCODING 101
974: SWIDTH 280 0
975: DWIDTH 14 0
976: BBX 14 53 0 -18
977: BITMAP
978: c0
979: c0
980: c0
981: c0
982: c0
983: c0
984: c0
985: c0
986: c0
987: c0
988: c0
989: c0
990: c0
991: c0
992: c0
993: c0
994: c0
995: c0
996: c0
997: c0
998: c0
999: c0
1000: c0
1001: c0
1002: c0
1003: c0
1004: c0
1005: c0
1006: c0
1007: c0
1008: c0
1009: c0
1010: c0
1011: c0
1012: c0
1013: c0
1014: c0
1015: c0
1016: c0
1017: c0
1018: c0
1019: c0
1020: c0
1021: c0
1022: c0
1023: c0
1024: c0
1025: c0
1026: c0
1027: c0
1028: c0
1029: c0
1030: c0
1031: ENDCHAR
1032: STARTCHAR f
1033: ENCODING 102
1034: SWIDTH 280 0
1035: DWIDTH 14 0
1036: BBX 14 53 0 -18
1037: BITMAP
1038: 00c0
1039: 00c0
1040: 00c0
1041: 00c0
1042: 00c0
1043: 00c0
1044: 00c0
1045: 00c0
1046: 00c0
1047: 00c0
1048: 00c0
1049: 00c0
1050: 00c0
1051: 00c0
1052: 00c0
1053: 00c0
1054: 00c0
1055: 00c0
1056: 00c0
1057: 00c0
1058: 00c0
1059: 00c0
1060: 00c0
1061: 00c0
1062: 00c0
1063: 00c0
1064: 00c0
1065: 00c0
1066: 00c0
1067: 00c0
1068: 00c0
1069: 00c0
1070: 00c0
1071: 00c0
1072: 00c0
1073: 00c0
1074: 00c0
1075: 00c0
1076: 00c0
1077: 00c0
1078: 00c0
1079: 00c0
1080: 00c0
1081: 00c0
1082: 00c0
1083: 00c0
1084: 00c0
1085: 00c0
1086: 00c0
1087: 00c0
1088: 00c0
1089: ffc0
1090: ffc0
1091: ENDCHAR
1092: STARTCHAR {
1093: ENCODING 123
1094: SWIDTH 280 0
1095: DWIDTH 14 0
1096: BBX 14 53 0 -18
1097: BITMAP
1098: 0000
1099: 01e0
1100: 0380
1101: 0600
1102: 0c00
1103: 0c00
1104: 0c00
1105: 0c00
1106: 0c00
1107: 0c00
1108: 0c00
1109: 0c00
1110: 0c00
1111: 0c00
1112: 0c00
1113: 0c00
1114: 0c00
1115: 0c00
1116: 0c00
1117: 0c00
1118: 0c00
1119: 0c00
1120: 0c00
1121: 0c00
1122: 1800
1123: 7000
1124: e000
1125: 7000
1126: 1800
1127: 0c00
1128: 0c00
1129: 0c00
1130: 0c00
1131: 0c00
1132: 0c00
1133: 0c00
1134: 0c00
1135: 0c00
1136: 0c00
1137: 0c00
1138: 0c00
1139: 0c00
1140: 0c00
1141: 0c00
1142: 0c00
1143: 0c00
1144: 0c00
1145: 0c00
1146: 0c00
1147: 0600
1148: 0380
1149: 01e0
1150: 0000
1151: ENDCHAR
1152: STARTCHAR |
1153: ENCODING 124
1154: SWIDTH 140 0
1155: DWIDTH 7 0
1156: BBX 7 53 0 -18
1157: BITMAP
1158: c0
1159: c0
1160: c0
1161: c0
1162: c0
1163: c0
1164: c0
1165: c0
1166: c0
1167: c0
1168: c0
1169: c0
1170: c0
1171: c0
1172: c0
1173: c0
1174: c0
1175: c0
1176: c0
1177: c0
1178: c0
1179: c0
1180: c0
1181: c0
1182: c0
1183: c0
1184: c0
1185: c0
1186: c0
1187: c0
1188: c0
1189: c0
1190: c0
1191: c0
1192: c0
1193: c0
1194: c0
1195: c0
1196: c0
1197: c0
1198: c0
1199: c0
1200: c0
1201: c0
1202: c0
1203: c0
1204: c0
1205: c0
1206: c0
1207: c0
1208: c0
1209: c0
1210: c0
1211: ENDCHAR
1212: STARTCHAR }
1213: ENCODING 125
1214: SWIDTH 280 0
1215: DWIDTH 14 0
1216: BBX 14 53 0 -18
1217: BITMAP
1218: 0000
1219: f000
1220: 3800
1221: 0c00
1222: 0600
1223: 0600
1224: 0600
1225: 0600
1226: 0600
1227: 0600
1228: 0600
1229: 0600
1230: 0600
1231: 0600
1232: 0600
1233: 0600
1234: 0600
1235: 0600
1236: 0600
1237: 0600
1238: 0600
1239: 0600
1240: 0600
1241: 0600
1242: 0300
1243: 01c0
1244: 00e0
1245: 01c0
1246: 0300
1247: 0600
1248: 0600
1249: 0600
1250: 0600
1251: 0600
1252: 0600
1253: 0600
1254: 0600
1255: 0600
1256: 0600
1257: 0600
1258: 0600
1259: 0600
1260: 0600
1261: 0600
1262: 0600
1263: 0600
1264: 0600
1265: 0600
1266: 0600
1267: 0c00
1268: 3800
1269: f000
1270: 0000
1271: ENDCHAR
1272: ENDFONT
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.