starmath/source/smres.src

40 	Size = MAP_APPFONT ( 183, 150 ) ;
46 		Size = MAP_APPFONT ( 40, 8 ) ;
53 		Size = MAP_APPFONT ( 111, 60 ) ;
63 		Size = MAP_APPFONT ( 33, 10 ) ;
71 		Size = MAP_APPFONT ( 33, 10 ) ;
77 		Size = MAP_APPFONT ( 50, 14 ) ;
84 		Size = MAP_APPFONT ( 50, 14 ) ;
92 		Size = MAP_APPFONT ( 111, 31 ) ;
97 		Size = MAP_APPFONT ( 42, 8 ) ;
108 	Size = MAP_APPFONT ( 171, 120 ) ;
114 		Size = MAP_APPFONT ( 40, 10 ) ;
122 		Size = MAP_APPFONT ( 40, 12 ) ;
134 		Size = MAP_APPFONT ( 40, 10 ) ;
143 		Size = MAP_APPFONT ( 40, 12 ) ;
155 		Size = MAP_APPFONT ( 40, 10 ) ;
164 		Size = MAP_APPFONT ( 40, 12 ) ;
176 		Size = MAP_APPFONT ( 40, 10 ) ;
185 		Size = MAP_APPFONT ( 40, 12 ) ;
197 		Size = MAP_APPFONT ( 40, 10 ) ;
206 		Size = MAP_APPFONT ( 40, 12 ) ;
218 		Size = MAP_APPFONT ( 40, 10 ) ;
227 		Size = MAP_APPFONT ( 40, 12 ) ;
239 		Size = MAP_APPFONT ( 99, 8 ) ;
245 		Size = MAP_APPFONT ( 50, 14 ) ;
252 		Size = MAP_APPFONT ( 50, 14 ) ;
260 		Size = MAP_APPFONT ( 50, 14 ) ;
270 	Size = MAP_APPFONT ( 282, 153 ) ;
276 		Size = MAP_APPFONT ( 207, 8 ) ;
282 		Size = MAP_APPFONT ( 207, 8 ) ;
289 		Size = MAP_APPFONT ( 40, 10 ) ;
297 		Size = MAP_APPFONT ( 150, 69 ) ;
305 		Size = MAP_APPFONT ( 40, 10 ) ;
313 		Size = MAP_APPFONT ( 150, 69 ) ;
321 		Size = MAP_APPFONT ( 40, 10 ) ;
329 		Size = MAP_APPFONT ( 150, 69 ) ;
337 		Size = MAP_APPFONT ( 40, 10 ) ;
345 		Size = MAP_APPFONT ( 150, 69 ) ;
353 		Size = MAP_APPFONT ( 40, 10 ) ;
361 		Size = MAP_APPFONT ( 150, 69 ) ;
369 		Size = MAP_APPFONT ( 40, 10 ) ;
377 		Size = MAP_APPFONT ( 150, 69 ) ;
385 		Size = MAP_APPFONT ( 40, 10 ) ;
393 		Size = MAP_APPFONT ( 150, 69 ) ;
400 		Size = MAP_APPFONT ( 50, 14 ) ;
407 		Size = MAP_APPFONT ( 50, 14 ) ;
416 		Size = MAP_APPFONT ( 50, 14 ) ;
424 		Size = MAP_APPFONT ( 50, 14 ) ;
435 	Size = MAP_APPFONT ( 240, 90 ) ;
440 		Size = MAP_APPFONT ( 65, 10 ) ;
453 		Size = MAP_APPFONT ( 38, 12 ) ;
460 		Size = MAP_APPFONT ( 65, 10 ) ;
473 		Size = MAP_APPFONT ( 38, 12 ) ;
480 		Size = MAP_APPFONT ( 110, 12 ) ;
488 		Size = MAP_APPFONT ( 65, 10 ) ;
501 		Size = MAP_APPFONT ( 38, 12 ) ;
508 		Size = MAP_APPFONT ( 65, 10 ) ;
521 		Size = MAP_APPFONT ( 38, 12 ) ;
527 		Size = MAP_APPFONT ( 50, 14 ) ;
534 		Size = MAP_APPFONT ( 50, 14 ) ;
542 		Size = MAP_APPFONT ( 50, 14 ) ;
551 		Size = MAP_APPFONT ( 50, 14 ) ;
558 		Size = MAP_APPFONT ( 49, 53 ) ;
563 		Size = MAP_APPFONT ( 171, 8 ) ;
933 	Size = MAP_APPFONT ( 139, 66 ) ;
940 		Size = MAP_APPFONT ( 60, 10 ) ;
948 		Size = MAP_APPFONT ( 60, 10 ) ;
956 		Size = MAP_APPFONT ( 60, 10 ) ;
962 		Size = MAP_APPFONT ( 71, 8 ) ;
968 		Size = MAP_APPFONT ( 50, 14 ) ;
975 		Size = MAP_APPFONT ( 50, 14 ) ;
983 		Size = MAP_APPFONT ( 50, 14 ) ;
993 	Size = MAP_APPFONT ( 260, 185 ) ;
998 		Size = MAP_APPFONT ( 248, 8 ) ;
1006 		Size = MAP_APPFONT ( 68, 10 ) ;
1014 		Size = MAP_APPFONT ( 68, 10 ) ;
1022 		Size = MAP_APPFONT ( 68, 10 ) ;
1028 		Size = MAP_APPFONT ( 248, 8 ) ;
1036 		Size = MAP_APPFONT ( 90, 10 ) ;
1044 		Size = MAP_APPFONT ( 90, 10 ) ;
1051 		Size = MAP_APPFONT ( 90, 10 ) ;
1060 		Size = MAP_APPFONT ( 30, 12 ) ;
1072 		Size = MAP_APPFONT ( 248, 8 ) ;
1080 		Size = MAP_APPFONT ( 236, 10 ) ;
1087 		Size = MAP_APPFONT ( 236, 10 ) ;
1098 	Size = MAP_APPFONT ( 239, 123 ) ;
1104 		Size = MAP_APPFONT ( 92, 8 ) ;
1113 		Size = MAP_APPFONT ( 92, 57 ) ;
1124 		Size = MAP_APPFONT ( 96, 72 ) ;
1131 		Size = MAP_APPFONT ( 63, 72 ) ;
1137 		Size = MAP_APPFONT ( 92, 8 ) ;
1145 		Size = MAP_APPFONT ( 56, 14 ) ;
1153 		Size = MAP_APPFONT ( 56, 14 ) ;
1162 		Size = MAP_APPFONT ( 56, 14 ) ;
1173 	Size = MAP_APPFONT ( 365, 215 ) ;
1178 		Size = MAP_APPFONT ( 50, 8 ) ;
1186 		Size = MAP_APPFONT ( 80, 100 ) ;
1194 		Size = MAP_APPFONT ( 60, 8 ) ;
1202 		Size = MAP_APPFONT ( 80, 100 ) ;
1212 		Size = MAP_APPFONT ( 295, 87 ) ;
1219 		Size = MAP_APPFONT ( 71, 8 ) ;
1227 		Size = MAP_APPFONT ( 100, 100 ) ;
1236 		Size = MAP_APPFONT ( 71, 8 ) ;
1243 		Size = MAP_APPFONT ( 100, 100 ) ;
1252 		Size = MAP_APPFONT ( 71, 8 ) ;
1260 		Size = MAP_APPFONT ( 100, 100 ) ;
1269 		Size = MAP_APPFONT ( 71, 8 ) ;
1277 		Size = MAP_APPFONT ( 100, 100 ) ;
1286 		Size = MAP_APPFONT ( 71, 8 ) ;
1294 		Size = MAP_APPFONT ( 100, 100 ) ;
1303 		Size = MAP_APPFONT ( 54, 8 ) ;
1309 		Size = MAP_APPFONT ( 40, 40 ) ;
1315 		Size = MAP_APPFONT ( 54, 8 ) ;
1328 		Size = MAP_APPFONT ( 36, 36 ) ;
1339 		Size = MAP_APPFONT ( 54, 9 ) ;
1345 		Size = MAP_APPFONT ( 40, 40 ) ;
1351 		Size = MAP_APPFONT ( 54, 8 ) ;
1358 		Size = MAP_APPFONT ( 50, 14 ) ;
1366 		Size = MAP_APPFONT ( 50, 14 ) ;
1374 		Size = MAP_APPFONT ( 50, 14 ) ;
1380 		Size = MAP_APPFONT ( 50, 14 ) ;
1387 		Size = MAP_APPFONT ( 50, 14 ) ;
1599 	Size = MAP_APPFONT ( 292, 94 ) ;
1745 		< "Size" ;				> ;