# HG changeset patch # User wenzelm # Date 1616193337 -3600 # Node ID 3ede182a479a6b50d01e01b85b90969651dfac07 # Parent 0cc9c2d439577b64ddaf620d91227950a8125c5c further clarification of Z Notation symbols (notably glyphs 0x2119, 0x2A1F, 0x2982, 0x2A3E), by Simon Foster; diff -r 0cc9c2d43957 -r 3ede182a479a Admin/components/main --- a/Admin/components/main Fri Mar 19 13:44:33 2021 +0100 +++ b/Admin/components/main Fri Mar 19 23:35:37 2021 +0100 @@ -5,7 +5,7 @@ cvc4-1.8 e-2.5-1 flatlaf-1.0 -isabelle_fonts-20210318 +isabelle_fonts-20210319 jdk-15.0.2+7 jedit_build-20210201 jfreechart-1.5.1 diff -r 0cc9c2d43957 -r 3ede182a479a Admin/isabelle_fonts/IsabelleSymbols.sfd --- a/Admin/isabelle_fonts/IsabelleSymbols.sfd Fri Mar 19 13:44:33 2021 +0100 +++ b/Admin/isabelle_fonts/IsabelleSymbols.sfd Fri Mar 19 23:35:37 2021 +0100 @@ -20,7 +20,7 @@ OS2_WeightWidthSlopeOnly: 0 OS2_UseTypoMetrics: 1 CreationTime: 1050361371 -ModificationTime: 1616099437 +ModificationTime: 1616166111 PfmFamily: 17 TTFWeight: 400 TTFWidth: 5 @@ -2242,11 +2242,11 @@ DisplaySize: -96 AntiAlias: 1 FitToEm: 1 -WinInfo: 9632 14 8 +WinInfo: 10575 25 11 BeginPrivate: 0 EndPrivate TeXData: 1 0 0 631296 315648 210432 572416 -1048576 210432 783286 444596 497025 792723 393216 433062 380633 303038 157286 324010 404750 52429 2506097 1059062 262144 -BeginChars: 1114189 1442 +BeginChars: 1114189 1443 StartChar: u10000 Encoding: 65536 65536 0 @@ -16706,7 +16706,7 @@ StartChar: Iacute Encoding: 205 205 204 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore Refer: 44 73 N 1 0 0 1 0 0 2 @@ -16717,7 +16717,7 @@ StartChar: Icircumflex Encoding: 206 206 205 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore Refer: 44 73 N 1 0 0 1 0 0 2 @@ -16728,7 +16728,7 @@ StartChar: Idieresis Encoding: 207 207 206 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore Refer: 44 73 N 1 0 0 1 0 0 2 @@ -16739,7 +16739,7 @@ StartChar: Igrave Encoding: 204 204 207 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore Refer: 44 73 N 1 0 0 1 0 0 2 @@ -18785,7 +18785,7 @@ StartChar: Idotaccent Encoding: 304 304 248 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -44008,7 +44008,7 @@ StartChar: afii10056 Encoding: 1031 1031 655 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -44169,7 +44169,7 @@ StartChar: uni040D Encoding: 1037 1037 661 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -44413,7 +44413,7 @@ StartChar: afii10027 Encoding: 1049 1049 673 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -45179,7 +45179,7 @@ StartChar: afii10075 Encoding: 1081 1081 705 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -46002,7 +46002,7 @@ StartChar: uni045D Encoding: 1117 1117 741 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore Refer: 67 96 N 1 0 0 1 64.5 7 2 @@ -47133,7 +47133,7 @@ StartChar: uni04C0 Encoding: 1216 1216 804 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore Refer: 44 73 N 1 0 0 1 0 0 2 @@ -47828,7 +47828,7 @@ StartChar: uni04E2 Encoding: 1250 1250 838 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -47845,7 +47845,7 @@ StartChar: uni04E3 Encoding: 1251 1251 839 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -47862,7 +47862,7 @@ StartChar: uni04E4 Encoding: 1252 1252 840 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -47884,7 +47884,7 @@ StartChar: uni04E5 Encoding: 1253 1253 841 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore Refer: 704 1080 N 1 0 0 1 0 0 2 @@ -54456,7 +54456,7 @@ StartChar: Hcircumflex Encoding: 292 292 1126 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -54565,7 +54565,7 @@ StartChar: Itilde Encoding: 296 296 1130 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -54609,7 +54609,7 @@ StartChar: Imacron Encoding: 298 298 1132 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -54641,7 +54641,7 @@ StartChar: Ibreve Encoding: 300 300 1134 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -54685,7 +54685,7 @@ StartChar: Iogonek Encoding: 302 302 1136 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore Refer: 223 731 N 1 0 0 1 70 0 2 @@ -54885,7 +54885,7 @@ StartChar: Lacute Encoding: 313 313 1145 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -54901,7 +54901,7 @@ StartChar: lacute Encoding: 314 314 1146 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -54917,7 +54917,7 @@ StartChar: Lcommaaccent Encoding: 315 315 1147 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -54933,7 +54933,7 @@ StartChar: lcommaaccent Encoding: 316 316 1148 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -54949,7 +54949,7 @@ StartChar: Lcaron Encoding: 317 317 1149 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -54965,7 +54965,7 @@ StartChar: lcaron Encoding: 318 318 1150 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -54981,7 +54981,7 @@ StartChar: Ldot Encoding: 319 319 1151 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore Refer: 47 76 N 1 0 0 1 0 0 2 @@ -54991,7 +54991,7 @@ StartChar: ldot Encoding: 320 320 1152 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore Refer: 79 108 N 1 0 0 1 0 0 2 @@ -55423,7 +55423,7 @@ StartChar: Tcommaaccent Encoding: 354 354 1178 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -55449,7 +55449,7 @@ StartChar: tcommaaccent Encoding: 355 355 1179 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -55475,7 +55475,7 @@ StartChar: Tcaron Encoding: 356 356 1180 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -55494,7 +55494,7 @@ StartChar: tcaron Encoding: 357 357 1181 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -57977,7 +57977,7 @@ StartChar: uni01CF Encoding: 463 463 1274 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -58829,7 +58829,7 @@ StartChar: uni0208 Encoding: 520 520 1323 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -58871,7 +58871,7 @@ StartChar: uni020A Encoding: 522 522 1325 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -59205,7 +59205,7 @@ StartChar: uni021A Encoding: 538 538 1341 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -59221,7 +59221,7 @@ StartChar: uni021B Encoding: 539 539 1342 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -59337,7 +59337,7 @@ StartChar: uni021E Encoding: 542 542 1345 Width: 1233 -Flags: HW +Flags: W LayerCount: 2 Fore SplineSet @@ -61792,59 +61792,59 @@ StartChar: uni2119 Encoding: 8473 8473 1414 -Width: 1323 -VWidth: 2403 -Flags: W -LayerCount: 2 -Fore -SplineSet -1309.20019531 1109.70019531 m 0,0,1 - 1309.20019531 885.299804688 1309.20019531 885.299804688 1104 764.099609375 c 0,2,3 - 933.599609375 664.5 933.599609375 664.5 692.400390625 664.5 c 0,4,5 - 675.599609375 664.5 675.599609375 664.5 640.799804688 665.700195312 c 128,-1,6 - 606 666.900390625 606 666.900390625 589.200195312 666.900390625 c 256,7,8 - 572.400390625 666.900390625 572.400390625 666.900390625 520.799804688 665.700195312 c 1,9,-1 - 520.799804688 164.099609375 l 2,10,11 - 520.799804688 70.5 520.799804688 70.5 560.400390625 48.900390625 c 0,12,13 - 584.400390625 35.7001953125 584.400390625 35.7001953125 688.799804688 35.7001953125 c 0,14,15 - 729.599609375 35.7001953125 729.599609375 35.7001953125 729.599609375 -7.5 c 0,16,17 - 729.599609375 -54.2998046875 729.599609375 -54.2998046875 688.799804688 -54.2998046875 c 2,18,-1 - -20.400390625 -54.2998046875 l 2,19,20 - -61.2001953125 -54.2998046875 -61.2001953125 -54.2998046875 -61.2001953125 -7.5 c 0,21,22 - -61.2001953125 35.7001953125 -61.2001953125 35.7001953125 -13.2001953125 35.7001953125 c 0,23,24 - 87.599609375 35.7001953125 87.599609375 35.7001953125 109.799804688 55.5 c 128,-1,25 - 132 75.2998046875 132 75.2998046875 132 168.900390625 c 2,26,-1 - 132 1338.90039062 l 2,27,28 - 132 1424.09960938 132 1424.09960938 110.400390625 1445.70019531 c 128,-1,29 - 88.7998046875 1467.29980469 88.7998046875 1467.29980469 -2.400390625 1467.29980469 c 0,30,31 - -61.2001953125 1467.29980469 -61.2001953125 1467.29980469 -61.2001953125 1512.90039062 c 0,32,33 - -61.2001953125 1557.29980469 -61.2001953125 1557.29980469 -20.400390625 1557.29980469 c 2,34,-1 - 694.799804688 1557.29980469 l 2,35,36 - 951.599609375 1557.29980469 951.599609375 1557.29980469 1111.20019531 1463.70019531 c 0,37,38 - 1309.20019531 1348.5 1309.20019531 1348.5 1309.20019531 1109.70019531 c 0,0,1 -1219.20019531 1109.70019531 m 0,39,40 - 1219.20019531 1372.5 1219.20019531 1372.5 919.200195312 1443.29980469 c 1,41,42 - 990 1348.5 990 1348.5 990 1109.70019531 c 0,43,44 - 990 886.5 990 886.5 914.400390625 782.099609375 c 1,45,46 - 1219.20019531 864.900390625 1219.20019531 864.900390625 1219.20019531 1109.70019531 c 0,39,40 -900 1109.70019531 m 0,47,48 - 900 1290.90039062 900 1290.90039062 864 1361.70019531 c 0,49,50 - 811.200195312 1467.29980469 811.200195312 1467.29980469 648 1467.29980469 c 0,51,52 - 601.200195312 1467.29980469 601.200195312 1467.29980469 565.200195312 1445.70019531 c 0,53,54 - 520.799804688 1420.5 520.799804688 1420.5 520.799804688 1377.29980469 c 2,55,-1 - 520.799804688 755.700195312 l 1,56,-1 - 646.799804688 755.700195312 l 2,57,58 - 802.799804688 755.700195312 802.799804688 755.700195312 860.400390625 864.900390625 c 0,59,60 - 900 941.700195312 900 941.700195312 900 1109.70019531 c 0,47,48 -458.400390625 1467.29980469 m 1,61,-1 - 202.799804688 1467.29980469 l 1,62,63 - 222 1421.70019531 222 1421.70019531 222 1338.90039062 c 2,64,-1 - 222 168.900390625 l 2,65,66 - 222 82.5 222 82.5 204 35.7001953125 c 1,67,-1 - 453.599609375 35.7001953125 l 1,68,69 - 430.799804688 82.5 430.799804688 82.5 430.799804688 164.099609375 c 2,70,-1 - 430.799804688 1377.29980469 l 2,71,72 - 430.799804688 1427.70019531 430.799804688 1427.70019531 458.400390625 1467.29980469 c 1,61,-1 +Width: 1288 +VWidth: 2320 +Flags: W +LayerCount: 2 +Fore +SplineSet +1274.94042969 1091.79003906 m 0,0,1 + 1274.94042969 878.609375 1274.94042969 878.609375 1080 763.469726562 c 0,2,3 + 918.119140625 668.849609375 918.119140625 668.849609375 688.98046875 668.849609375 c 0,4,5 + 673.01953125 668.849609375 673.01953125 668.849609375 639.959960938 669.990234375 c 128,-1,6 + 606.900390625 671.130859375 606.900390625 671.130859375 590.940429688 671.130859375 c 256,7,8 + 574.98046875 671.130859375 574.98046875 671.130859375 525.959960938 669.990234375 c 1,9,-1 + 525.959960938 193.469726562 l 2,10,11 + 525.959960938 104.549804688 525.959960938 104.549804688 563.580078125 84.0302734375 c 0,12,13 + 586.379882812 71.490234375 586.379882812 71.490234375 685.559570312 71.490234375 c 0,14,15 + 724.319335938 71.490234375 724.319335938 71.490234375 724.319335938 30.4501953125 c 0,16,17 + 724.319335938 -14.009765625 724.319335938 -14.009765625 685.559570312 -14.009765625 c 2,18,-1 + 11.8193359375 -14.009765625 l 2,19,20 + -26.9404296875 -14.009765625 -26.9404296875 -14.009765625 -26.9404296875 30.4501953125 c 0,21,22 + -26.9404296875 71.490234375 -26.9404296875 71.490234375 18.66015625 71.490234375 c 0,23,24 + 114.419921875 71.490234375 114.419921875 71.490234375 135.509765625 90.2998046875 c 128,-1,25 + 156.599609375 109.109375 156.599609375 109.109375 156.599609375 198.030273438 c 2,26,-1 + 156.599609375 1309.53027344 l 2,27,28 + 156.599609375 1390.46972656 156.599609375 1390.46972656 136.080078125 1410.99023438 c 128,-1,29 + 115.559570312 1431.50976562 115.559570312 1431.50976562 28.919921875 1431.50976562 c 0,30,31 + -26.9404296875 1431.50976562 -26.9404296875 1431.50976562 -26.9404296875 1474.83007812 c 0,32,33 + -26.9404296875 1517.00976562 -26.9404296875 1517.00976562 11.8193359375 1517.00976562 c 2,34,-1 + 691.259765625 1517.00976562 l 2,35,36 + 935.219726562 1517.00976562 935.219726562 1517.00976562 1086.83984375 1428.08984375 c 0,37,38 + 1274.94042969 1318.65039062 1274.94042969 1318.65039062 1274.94042969 1091.79003906 c 0,0,1 +1189.44042969 1091.79003906 m 0,39,40 + 1189.44042969 1341.45019531 1189.44042969 1341.45019531 904.440429688 1408.70996094 c 1,41,42 + 971.700195312 1318.65039062 971.700195312 1318.65039062 971.700195312 1091.79003906 c 0,43,44 + 971.700195312 879.75 971.700195312 879.75 899.879882812 780.569335938 c 1,45,46 + 1189.44042969 859.23046875 1189.44042969 859.23046875 1189.44042969 1091.79003906 c 0,39,40 +886.200195312 1091.79003906 m 0,47,48 + 886.200195312 1263.93066406 886.200195312 1263.93066406 852 1331.19042969 c 0,49,50 + 801.83984375 1431.50976562 801.83984375 1431.50976562 646.799804688 1431.50976562 c 0,51,52 + 602.33984375 1431.50976562 602.33984375 1431.50976562 568.140625 1410.99023438 c 0,53,54 + 525.959960938 1387.04980469 525.959960938 1387.04980469 525.959960938 1346.00976562 c 2,55,-1 + 525.959960938 755.490234375 l 1,56,-1 + 645.66015625 755.490234375 l 2,57,58 + 793.859375 755.490234375 793.859375 755.490234375 848.580078125 859.23046875 c 0,59,60 + 886.200195312 932.190429688 886.200195312 932.190429688 886.200195312 1091.79003906 c 0,47,48 +466.680664062 1431.50976562 m 1,61,-1 + 223.859375 1431.50976562 l 1,62,63 + 242.099609375 1388.19042969 242.099609375 1388.19042969 242.099609375 1309.53027344 c 2,64,-1 + 242.099609375 198.030273438 l 2,65,66 + 242.099609375 115.950195312 242.099609375 115.950195312 225 71.490234375 c 1,67,-1 + 462.119140625 71.490234375 l 1,68,69 + 440.459960938 115.950195312 440.459960938 115.950195312 440.459960938 193.469726562 c 2,70,-1 + 440.459960938 1346.00976562 l 2,71,72 + 440.459960938 1393.890625 440.459960938 1393.890625 466.680664062 1431.50976562 c 1,61,-1 EndSplineSet EndChar @@ -62574,54 +62574,54 @@ StartChar: uni2A1F Encoding: 10783 10783 1430 -Width: 781 -VWidth: 2505 -Flags: W -LayerCount: 2 -Fore -SplineSet -579 939.400390625 m 256,0,1 - 579 847 579 847 512.400390625 781.599609375 c 128,-1,2 - 445.799804688 716.200195312 445.799804688 716.200195312 354.599609375 716.200195312 c 256,3,4 - 263.400390625 716.200195312 263.400390625 716.200195312 197.400390625 782.200195312 c 128,-1,5 - 131.400390625 848.200195312 131.400390625 848.200195312 131.400390625 939.400390625 c 256,6,7 - 131.400390625 1030.59960938 131.400390625 1030.59960938 197.400390625 1096.59960938 c 128,-1,8 - 263.400390625 1162.59960938 263.400390625 1162.59960938 354.599609375 1162.59960938 c 256,9,10 - 445.799804688 1162.59960938 445.799804688 1162.59960938 512.400390625 1097.20019531 c 128,-1,11 - 579 1031.79980469 579 1031.79980469 579 939.400390625 c 256,0,1 -582.599609375 123.400390625 m 0,12,13 - 582.599609375 -27.7998046875 582.599609375 -27.7998046875 498.599609375 -191 c 0,14,15 - 412.200195312 -362.599609375 412.200195312 -362.599609375 287.400390625 -433.400390625 c 0,16,17 - 273 -440.599609375 273 -440.599609375 259.799804688 -440.599609375 c 0,18,19 - 210.599609375 -440.599609375 210.599609375 -440.599609375 210.599609375 -389 c 0,20,21 - 210.599609375 -384.200195312 210.599609375 -384.200195312 210.599609375 -381.799804688 c 0,22,23 - 215.400390625 -363.799804688 215.400390625 -363.799804688 233.400390625 -349.400390625 c 0,24,25 - 412.200195312 -206.599609375 412.200195312 -206.599609375 462.599609375 -21.7998046875 c 1,26,27 - 412.200195312 -50.599609375 412.200195312 -50.599609375 354.599609375 -50.599609375 c 0,28,29 - 263.400390625 -50.599609375 263.400390625 -50.599609375 197.400390625 15.400390625 c 128,-1,30 - 131.400390625 81.400390625 131.400390625 81.400390625 131.400390625 172.599609375 c 256,31,32 - 131.400390625 263.799804688 131.400390625 263.799804688 197.400390625 329.799804688 c 128,-1,33 - 263.400390625 395.799804688 263.400390625 395.799804688 354.599609375 395.799804688 c 0,34,35 - 478.200195312 395.799804688 478.200195312 395.799804688 538.200195312 301 c 0,36,37 - 582.599609375 232.599609375 582.599609375 232.599609375 582.599609375 123.400390625 c 0,12,13 -480.599609375 939.400390625 m 256,38,39 - 480.599609375 989.799804688 480.599609375 989.799804688 443.400390625 1027 c 128,-1,40 - 406.200195312 1064.20019531 406.200195312 1064.20019531 354.599609375 1064.20019531 c 0,41,42 - 304.200195312 1064.20019531 304.200195312 1064.20019531 267 1027 c 128,-1,43 - 229.799804688 989.799804688 229.799804688 989.799804688 229.799804688 939.400390625 c 256,44,45 - 229.799804688 889 229.799804688 889 267 851.799804688 c 128,-1,46 - 304.200195312 814.599609375 304.200195312 814.599609375 354.599609375 814.599609375 c 0,47,48 - 406.200195312 814.599609375 406.200195312 814.599609375 443.400390625 851.799804688 c 128,-1,49 - 480.599609375 889 480.599609375 889 480.599609375 939.400390625 c 256,38,39 -480.599609375 172.599609375 m 256,50,51 - 480.599609375 223 480.599609375 223 443.400390625 260.200195312 c 128,-1,52 - 406.200195312 297.400390625 406.200195312 297.400390625 354.599609375 297.400390625 c 0,53,54 - 304.200195312 297.400390625 304.200195312 297.400390625 267 260.200195312 c 128,-1,55 - 229.799804688 223 229.799804688 223 229.799804688 172.599609375 c 256,56,57 - 229.799804688 122.200195312 229.799804688 122.200195312 267 85 c 128,-1,58 - 304.200195312 47.7998046875 304.200195312 47.7998046875 354.599609375 47.7998046875 c 0,59,60 - 406.200195312 47.7998046875 406.200195312 47.7998046875 443.400390625 85 c 128,-1,61 - 480.599609375 122.200195312 480.599609375 122.200195312 480.599609375 172.599609375 c 256,50,51 +Width: 902 +VWidth: 3369 +Flags: W +LayerCount: 2 +Fore +SplineSet +642.713867188 1355.40234375 m 256,0,1 + 642.713867188 1236.48144531 642.713867188 1236.48144531 557 1152.31152344 c 128,-1,2 + 471.28515625 1068.14160156 471.28515625 1068.14160156 353.911132812 1068.14160156 c 256,3,4 + 236.537109375 1068.14160156 236.537109375 1068.14160156 151.595703125 1153.08496094 c 128,-1,5 + 66.6533203125 1238.02636719 66.6533203125 1238.02636719 66.6533203125 1355.40234375 c 256,6,7 + 66.6533203125 1472.77441406 66.6533203125 1472.77441406 151.595703125 1557.71679688 c 128,-1,8 + 236.537109375 1642.65820312 236.537109375 1642.65820312 353.911132812 1642.65820312 c 256,9,10 + 471.28515625 1642.65820312 471.28515625 1642.65820312 557 1558.49023438 c 128,-1,11 + 642.713867188 1474.31933594 642.713867188 1474.31933594 642.713867188 1355.40234375 c 256,0,1 +647.346679688 305.208984375 m 0,12,13 + 647.346679688 110.615234375 647.346679688 110.615234375 539.23828125 -99.423828125 c 0,14,15 + 428.041992188 -320.2734375 428.041992188 -320.2734375 267.42578125 -411.393554688 c 0,16,17 + 248.891601562 -420.658203125 248.891601562 -420.658203125 231.903320312 -420.658203125 c 0,18,19 + 168.583007812 -420.658203125 168.583007812 -420.658203125 168.583007812 -354.25 c 0,20,21 + 168.583007812 -348.073242188 168.583007812 -348.073242188 168.583007812 -344.983398438 c 0,22,23 + 174.76171875 -321.817382812 174.76171875 -321.817382812 197.926757812 -303.286132812 c 0,24,25 + 428.041992188 -119.500976562 428.041992188 -119.500976562 492.90625 118.336914062 c 1,26,27 + 428.041992188 81.271484375 428.041992188 81.271484375 353.911132812 81.271484375 c 0,28,29 + 236.537109375 81.271484375 236.537109375 81.271484375 151.595703125 166.213867188 c 128,-1,30 + 66.6533203125 251.155273438 66.6533203125 251.155273438 66.6533203125 368.528320312 c 256,31,32 + 66.6533203125 485.903320312 66.6533203125 485.903320312 151.595703125 570.845703125 c 128,-1,33 + 236.537109375 655.787109375 236.537109375 655.787109375 353.911132812 655.787109375 c 0,34,35 + 512.984375 655.787109375 512.984375 655.787109375 590.205078125 533.780273438 c 0,36,37 + 647.346679688 445.748046875 647.346679688 445.748046875 647.346679688 305.208984375 c 0,12,13 +516.073242188 1355.40234375 m 256,38,39 + 516.073242188 1420.265625 516.073242188 1420.265625 468.197265625 1468.14160156 c 128,-1,40 + 420.3203125 1516.01855469 420.3203125 1516.01855469 353.911132812 1516.01855469 c 0,41,42 + 289.046875 1516.01855469 289.046875 1516.01855469 241.169921875 1468.14160156 c 128,-1,43 + 193.29296875 1420.265625 193.29296875 1420.265625 193.29296875 1355.40234375 c 256,44,45 + 193.29296875 1290.53613281 193.29296875 1290.53613281 241.169921875 1242.65917969 c 128,-1,46 + 289.046875 1194.78320312 289.046875 1194.78320312 353.911132812 1194.78320312 c 0,47,48 + 420.3203125 1194.78320312 420.3203125 1194.78320312 468.197265625 1242.65917969 c 128,-1,49 + 516.073242188 1290.53613281 516.073242188 1290.53613281 516.073242188 1355.40234375 c 256,38,39 +516.073242188 368.528320312 m 256,50,51 + 516.073242188 433.393554688 516.073242188 433.393554688 468.197265625 481.26953125 c 128,-1,52 + 420.3203125 529.147460938 420.3203125 529.147460938 353.911132812 529.147460938 c 0,53,54 + 289.046875 529.147460938 289.046875 529.147460938 241.169921875 481.26953125 c 128,-1,55 + 193.29296875 433.393554688 193.29296875 433.393554688 193.29296875 368.528320312 c 256,56,57 + 193.29296875 303.665039062 193.29296875 303.665039062 241.169921875 255.788085938 c 128,-1,58 + 289.046875 207.912109375 289.046875 207.912109375 353.911132812 207.912109375 c 0,59,60 + 420.3203125 207.912109375 420.3203125 207.912109375 468.197265625 255.788085938 c 128,-1,61 + 516.073242188 303.665039062 516.073242188 303.665039062 516.073242188 368.528320312 c 256,50,51 EndSplineSet EndChar @@ -62706,48 +62706,48 @@ StartChar: uni2982 Encoding: 10626 10626 1434 -Width: 764 -VWidth: 2391 -Flags: W -LayerCount: 2 -Fore -SplineSet -569.974609375 890.924804688 m 256,0,1 - 569.974609375 802.375 569.974609375 802.375 506.150390625 739.700195312 c 128,-1,2 - 442.325195312 677.025390625 442.325195312 677.025390625 354.924804688 677.025390625 c 256,3,4 - 267.525390625 677.025390625 267.525390625 677.025390625 204.275390625 740.275390625 c 128,-1,5 - 141.025390625 803.525390625 141.025390625 803.525390625 141.025390625 890.924804688 c 256,6,7 - 141.025390625 978.325195312 141.025390625 978.325195312 204.275390625 1041.57519531 c 128,-1,8 - 267.525390625 1104.82519531 267.525390625 1104.82519531 354.924804688 1104.82519531 c 256,9,10 - 442.325195312 1104.82519531 442.325195312 1104.82519531 506.150390625 1042.15039062 c 128,-1,11 - 569.974609375 979.474609375 569.974609375 979.474609375 569.974609375 890.924804688 c 256,0,1 -569.974609375 156.075195312 m 256,12,13 - 569.974609375 67.525390625 569.974609375 67.525390625 506.150390625 4.849609375 c 128,-1,14 - 442.325195312 -57.8251953125 442.325195312 -57.8251953125 354.924804688 -57.8251953125 c 256,15,16 - 267.525390625 -57.8251953125 267.525390625 -57.8251953125 204.275390625 5.4248046875 c 128,-1,17 - 141.025390625 68.6748046875 141.025390625 68.6748046875 141.025390625 156.075195312 c 256,18,19 - 141.025390625 243.474609375 141.025390625 243.474609375 204.275390625 306.724609375 c 128,-1,20 - 267.525390625 369.974609375 267.525390625 369.974609375 354.924804688 369.974609375 c 256,21,22 - 442.325195312 369.974609375 442.325195312 369.974609375 506.150390625 307.299804688 c 128,-1,23 - 569.974609375 244.625 569.974609375 244.625 569.974609375 156.075195312 c 256,12,13 -475.674804688 890.924804688 m 256,24,25 - 475.674804688 939.224609375 475.674804688 939.224609375 440.025390625 974.875 c 128,-1,26 - 404.375 1010.52539062 404.375 1010.52539062 354.924804688 1010.52539062 c 0,27,28 - 306.625 1010.52539062 306.625 1010.52539062 270.974609375 974.875 c 128,-1,29 - 235.325195312 939.224609375 235.325195312 939.224609375 235.325195312 890.924804688 c 256,30,31 - 235.325195312 842.625 235.325195312 842.625 270.974609375 806.974609375 c 128,-1,32 - 306.625 771.325195312 306.625 771.325195312 354.924804688 771.325195312 c 0,33,34 - 404.375 771.325195312 404.375 771.325195312 440.025390625 806.974609375 c 128,-1,35 - 475.674804688 842.625 475.674804688 842.625 475.674804688 890.924804688 c 256,24,25 -475.674804688 156.075195312 m 256,36,37 - 475.674804688 204.375 475.674804688 204.375 440.025390625 240.025390625 c 128,-1,38 - 404.375 275.674804688 404.375 275.674804688 354.924804688 275.674804688 c 0,39,40 - 306.625 275.674804688 306.625 275.674804688 270.974609375 240.025390625 c 128,-1,41 - 235.325195312 204.375 235.325195312 204.375 235.325195312 156.075195312 c 256,42,43 - 235.325195312 107.775390625 235.325195312 107.775390625 270.974609375 72.125 c 128,-1,44 - 306.625 36.474609375 306.625 36.474609375 354.924804688 36.474609375 c 0,45,46 - 404.375 36.474609375 404.375 36.474609375 440.025390625 72.125 c 128,-1,47 - 475.674804688 107.775390625 475.674804688 107.775390625 475.674804688 156.075195312 c 256,36,37 +Width: 906 +VWidth: 3304 +Flags: W +LayerCount: 2 +Fore +SplineSet +645.041015625 1279.5234375 m 256,0,1 + 645.041015625 1159.98144531 645.041015625 1159.98144531 558.877929688 1075.37011719 c 128,-1,2 + 472.713867188 990.759765625 472.713867188 990.759765625 354.723632812 990.759765625 c 256,3,4 + 236.734375 990.759765625 236.734375 990.759765625 151.346679688 1076.14648438 c 128,-1,5 + 65.958984375 1161.53417969 65.958984375 1161.53417969 65.958984375 1279.5234375 c 256,6,7 + 65.958984375 1397.51367188 65.958984375 1397.51367188 151.346679688 1482.90136719 c 128,-1,8 + 236.734375 1568.2890625 236.734375 1568.2890625 354.723632812 1568.2890625 c 256,9,10 + 472.713867188 1568.2890625 472.713867188 1568.2890625 558.877929688 1483.67773438 c 128,-1,11 + 645.041015625 1399.06542969 645.041015625 1399.06542969 645.041015625 1279.5234375 c 256,0,1 +645.041015625 287.4765625 m 256,12,13 + 645.041015625 167.934570312 645.041015625 167.934570312 558.877929688 83.322265625 c 128,-1,14 + 472.713867188 -1.2890625 472.713867188 -1.2890625 354.723632812 -1.2890625 c 256,15,16 + 236.734375 -1.2890625 236.734375 -1.2890625 151.346679688 84.0986328125 c 128,-1,17 + 65.958984375 169.486328125 65.958984375 169.486328125 65.958984375 287.4765625 c 256,18,19 + 65.958984375 405.465820312 65.958984375 405.465820312 151.346679688 490.853515625 c 128,-1,20 + 236.734375 576.240234375 236.734375 576.240234375 354.723632812 576.240234375 c 256,21,22 + 472.713867188 576.240234375 472.713867188 576.240234375 558.877929688 491.629882812 c 128,-1,23 + 645.041015625 407.018554688 645.041015625 407.018554688 645.041015625 287.4765625 c 256,12,13 +517.736328125 1279.5234375 m 256,24,25 + 517.736328125 1344.72851562 517.736328125 1344.72851562 469.609375 1392.85644531 c 128,-1,26 + 421.481445312 1440.984375 421.481445312 1440.984375 354.723632812 1440.984375 c 0,27,28 + 289.518554688 1440.984375 289.518554688 1440.984375 241.390625 1392.85644531 c 128,-1,29 + 193.263671875 1344.72851562 193.263671875 1344.72851562 193.263671875 1279.5234375 c 256,30,31 + 193.263671875 1214.31835938 193.263671875 1214.31835938 241.390625 1166.19042969 c 128,-1,32 + 289.518554688 1118.06445312 289.518554688 1118.06445312 354.723632812 1118.06445312 c 0,33,34 + 421.481445312 1118.06445312 421.481445312 1118.06445312 469.609375 1166.19042969 c 128,-1,35 + 517.736328125 1214.31835938 517.736328125 1214.31835938 517.736328125 1279.5234375 c 256,24,25 +517.736328125 287.4765625 m 256,36,37 + 517.736328125 352.681640625 517.736328125 352.681640625 469.609375 400.809570312 c 128,-1,38 + 421.481445312 448.935546875 421.481445312 448.935546875 354.723632812 448.935546875 c 0,39,40 + 289.518554688 448.935546875 289.518554688 448.935546875 241.390625 400.809570312 c 128,-1,41 + 193.263671875 352.681640625 193.263671875 352.681640625 193.263671875 287.4765625 c 256,42,43 + 193.263671875 222.271484375 193.263671875 222.271484375 241.390625 174.143554688 c 128,-1,44 + 289.518554688 126.015625 289.518554688 126.015625 354.723632812 126.015625 c 0,45,46 + 421.481445312 126.015625 421.481445312 126.015625 469.609375 174.143554688 c 128,-1,47 + 517.736328125 222.271484375 517.736328125 222.271484375 517.736328125 287.4765625 c 256,36,37 EndSplineSet EndChar @@ -62957,5 +62957,58 @@ 858.959960938 1436.12792969 858.959960938 1436.12792969 1067.04003906 1170.51953125 c 1,0,-1 EndSplineSet EndChar + +StartChar: uni2A3E +Encoding: 10814 10814 1442 +Width: 781 +VWidth: 2505 +Flags: W +LayerCount: 2 +Fore +SplineSet +579 939.400390625 m 256,0,1 + 579 847 579 847 512.400390625 781.599609375 c 128,-1,2 + 445.799804688 716.200195312 445.799804688 716.200195312 354.599609375 716.200195312 c 256,3,4 + 263.400390625 716.200195312 263.400390625 716.200195312 197.400390625 782.200195312 c 128,-1,5 + 131.400390625 848.200195312 131.400390625 848.200195312 131.400390625 939.400390625 c 256,6,7 + 131.400390625 1030.59960938 131.400390625 1030.59960938 197.400390625 1096.59960938 c 128,-1,8 + 263.400390625 1162.59960938 263.400390625 1162.59960938 354.599609375 1162.59960938 c 256,9,10 + 445.799804688 1162.59960938 445.799804688 1162.59960938 512.400390625 1097.20019531 c 128,-1,11 + 579 1031.79980469 579 1031.79980469 579 939.400390625 c 256,0,1 +582.599609375 123.400390625 m 0,12,13 + 582.599609375 -27.7998046875 582.599609375 -27.7998046875 498.599609375 -191 c 0,14,15 + 412.200195312 -362.599609375 412.200195312 -362.599609375 287.400390625 -433.400390625 c 0,16,17 + 273 -440.599609375 273 -440.599609375 259.799804688 -440.599609375 c 0,18,19 + 210.599609375 -440.599609375 210.599609375 -440.599609375 210.599609375 -389 c 0,20,21 + 210.599609375 -384.200195312 210.599609375 -384.200195312 210.599609375 -381.799804688 c 0,22,23 + 215.400390625 -363.799804688 215.400390625 -363.799804688 233.400390625 -349.400390625 c 0,24,25 + 412.200195312 -206.599609375 412.200195312 -206.599609375 462.599609375 -21.7998046875 c 1,26,27 + 412.200195312 -50.599609375 412.200195312 -50.599609375 354.599609375 -50.599609375 c 0,28,29 + 263.400390625 -50.599609375 263.400390625 -50.599609375 197.400390625 15.400390625 c 128,-1,30 + 131.400390625 81.400390625 131.400390625 81.400390625 131.400390625 172.599609375 c 256,31,32 + 131.400390625 263.799804688 131.400390625 263.799804688 197.400390625 329.799804688 c 128,-1,33 + 263.400390625 395.799804688 263.400390625 395.799804688 354.599609375 395.799804688 c 0,34,35 + 478.200195312 395.799804688 478.200195312 395.799804688 538.200195312 301 c 0,36,37 + 582.599609375 232.599609375 582.599609375 232.599609375 582.599609375 123.400390625 c 0,12,13 +480.599609375 939.400390625 m 256,38,39 + 480.599609375 989.799804688 480.599609375 989.799804688 443.400390625 1027 c 128,-1,40 + 406.200195312 1064.20019531 406.200195312 1064.20019531 354.599609375 1064.20019531 c 0,41,42 + 304.200195312 1064.20019531 304.200195312 1064.20019531 267 1027 c 128,-1,43 + 229.799804688 989.799804688 229.799804688 989.799804688 229.799804688 939.400390625 c 256,44,45 + 229.799804688 889 229.799804688 889 267 851.799804688 c 128,-1,46 + 304.200195312 814.599609375 304.200195312 814.599609375 354.599609375 814.599609375 c 0,47,48 + 406.200195312 814.599609375 406.200195312 814.599609375 443.400390625 851.799804688 c 128,-1,49 + 480.599609375 889 480.599609375 889 480.599609375 939.400390625 c 256,38,39 +480.599609375 172.599609375 m 256,50,51 + 480.599609375 223 480.599609375 223 443.400390625 260.200195312 c 128,-1,52 + 406.200195312 297.400390625 406.200195312 297.400390625 354.599609375 297.400390625 c 0,53,54 + 304.200195312 297.400390625 304.200195312 297.400390625 267 260.200195312 c 128,-1,55 + 229.799804688 223 229.799804688 223 229.799804688 172.599609375 c 256,56,57 + 229.799804688 122.200195312 229.799804688 122.200195312 267 85 c 128,-1,58 + 304.200195312 47.7998046875 304.200195312 47.7998046875 354.599609375 47.7998046875 c 0,59,60 + 406.200195312 47.7998046875 406.200195312 47.7998046875 443.400390625 85 c 128,-1,61 + 480.599609375 122.200195312 480.599609375 122.200195312 480.599609375 172.599609375 c 256,50,51 +EndSplineSet +EndChar EndChars EndSplineFont diff -r 0cc9c2d43957 -r 3ede182a479a Admin/isabelle_fonts/IsabelleSymbolsBold.sfd --- a/Admin/isabelle_fonts/IsabelleSymbolsBold.sfd Fri Mar 19 13:44:33 2021 +0100 +++ b/Admin/isabelle_fonts/IsabelleSymbolsBold.sfd Fri Mar 19 23:35:37 2021 +0100 @@ -21,7 +21,7 @@ OS2_WeightWidthSlopeOnly: 0 OS2_UseTypoMetrics: 1 CreationTime: 1050374980 -ModificationTime: 1616099497 +ModificationTime: 1616166165 PfmFamily: 17 TTFWeight: 700 TTFWidth: 5 @@ -1679,10 +1679,10 @@ DisplaySize: -96 AntiAlias: 1 FitToEm: 1 -WinInfo: 9648 12 8 +WinInfo: 10584 12 8 BeginPrivate: 0 EndPrivate -BeginChars: 1114115 1430 +BeginChars: 1114115 1431 StartChar: .notdef Encoding: 1114112 -1 0 @@ -69484,93 +69484,75 @@ StartChar: uni2119 Encoding: 8473 8473 1406 -Width: 1323 -VWidth: 2403 -Flags: W -LayerCount: 2 -Fore -SplineSet -1360.20019531 1109.70019531 m 0,0,1 - 1360.20019531 1026.38622841 1360.20019531 1026.38622841 1333.86013269 954.17575587 c 0,2,3 - 1307.52007008 881.965283325 1307.52007008 881.965283325 1256.19894884 823.208061684 c 0,4,5 - 1204.87782759 764.450840043 1204.87782759 764.450840043 1129.83633799 720.128059635 c 0,6,7 - 947.411295088 613.5 947.411295088 613.5 692.400390625 613.5 c 0,8,9 - 674.720412343 613.5 674.720412343 613.5 639.041933041 614.730499538 c 0,10,11 - 605.120802967 615.900390625 605.120802967 615.900390625 589.200195312 615.900390625 c 0,12,13 - 583.165408293 615.900390625 583.165408293 615.900390625 571.799804688 615.727147498 c 1,14,-1 - 571.799804688 164.099609375 l 2,15,16 - 571.799804688 150.758544383 571.799804688 150.758544383 572.938317869 138.945444095 c 0,17,18 - 574.076831049 127.132343807 574.076831049 127.132343807 575.669009226 119.571727239 c 0,19,20 - 577.261187403 112.01111067 577.261187403 112.01111067 579.176652781 106.094416678 c 0,21,22 - 581.092118158 100.177722685 581.092118158 100.177722685 582.426664315 97.5056215852 c 0,23,24 - 583.761210471 94.833520485 583.761210471 94.833520485 584.603817849 93.9212998322 c 0,25,26 - 608.116760264 86.7001953125 608.116760264 86.7001953125 688.799804688 86.7001953125 c 0,27,28 - 728.173528711 86.7001953125 728.173528711 86.7001953125 754.386569043 58.9302809428 c 0,29,30 - 780.599609375 31.1603665732 780.599609375 31.1603665732 780.599609375 -7.5 c 0,31,32 - 780.599609375 -18.7876436163 780.599609375 -18.7876436163 778.984823717 -28.9038070332 c 0,33,34 - 775.492249846 -50.7837685381 775.492249846 -50.7837685381 762.54885487 -68.2899987282 c 0,35,36 - 749.605459894 -85.7962289184 749.605459894 -85.7962289184 730.228661967 -95.548016803 c 0,37,38 - 710.851864039 -105.299804688 710.851864039 -105.299804688 688.799804688 -105.299804688 c 2,39,-1 - -20.400390625 -105.299804688 l 2,40,41 - -52.7323416511 -105.299804688 -52.7323416511 -105.299804688 -78.3116750704 -84.89512939 c 0,42,43 - -103.89100849 -64.4904540924 -103.89100849 -64.4904540924 -110.007228765 -32.2183778908 c 0,44,45 - -111.149731965 -26.1899896582 -111.149731965 -26.1899896582 -111.674963639 -20.0431683767 c 0,46,47 - -112.200195312 -13.8963470952 -112.200195312 -13.8963470952 -112.200195312 -7.5 c 0,48,49 - -112.200195312 33.9268557789 -112.200195312 33.9268557789 -82.8549250978 60.3135255457 c 0,50,51 - -53.509654883 86.7001953125 -53.509654883 86.7001953125 -13.2001953125 86.7001953125 c 0,52,53 - 17.3839447817 86.7001953125 17.3839447817 86.7001953125 40.7718356035 88.9317417535 c 0,54,55 - 64.1597264253 91.1632881945 64.1597264253 91.1632881945 74.0811340265 94.0513634091 c 1,56,57 - 81 116.891477788 81 116.891477788 81 168.900390625 c 2,58,-1 - 81 1338.90039062 l 2,59,60 - 81 1388.42141316 81 1388.42141316 73.7853823783 1408.77077793 c 1,61,62 - 51.9118069146 1416.29980469 51.9118069146 1416.29980469 -2.400390625 1416.29980469 c 0,63,64 - -46.0553339077 1416.29980469 -46.0553339077 1416.29980469 -79.1277646101 1441.8710487 c 0,65,66 - -112.200195312 1467.44229271 -112.200195312 1467.44229271 -112.200195312 1512.90039062 c 0,67,68 - -112.200195312 1516.57056546 -112.200195312 1516.57056546 -112.023024149 1520.08523819 c 0,69,70 - -111.845852986 1523.59991091 -111.845852986 1523.59991091 -111.446369816 1527.29147783 c 0,71,72 - -111.046886646 1530.98304474 -111.046886646 1530.98304474 -110.427157352 1534.56258226 c 0,73,74 - -104.757344767 1567.31124697 -104.757344767 1567.31124697 -78.8534210733 1587.80552583 c 0,75,76 - -52.9494973797 1608.29980469 -52.9494973797 1608.29980469 -20.400390625 1608.29980469 c 2,77,-1 - 694.799804688 1608.29980469 l 2,78,79 - 965.451216252 1608.29980469 965.451216252 1608.29980469 1136.92409097 1507.73755425 c 0,80,81 - 1210.11342897 1465.1545945 1210.11342897 1465.1545945 1259.99823653 1405.52657453 c 0,82,83 - 1309.8830441 1345.89855457 1309.8830441 1345.89855457 1335.0416197 1271.48084591 c 0,84,85 - 1360.20019531 1197.06313725 1360.20019531 1197.06313725 1360.20019531 1109.70019531 c 0,0,1 -1168.20019531 1109.70019531 m 0,86,87 - 1168.20019531 1199.2697448 1168.20019531 1199.2697448 1130.79148809 1259.05732332 c 0,88,89 - 1093.38278088 1318.84490185 1093.38278088 1318.84490185 1013.88629593 1357.22713376 c 1,90,91 - 1041 1258.64821216 1041 1258.64821216 1041 1109.70019531 c 0,92,93 - 1041 970.672627933 1041 970.672627933 1012.4515322 872.738667955 c 1,94,95 - 1093.47909956 913.519640185 1093.47909956 913.519640185 1130.83964744 970.973513697 c 0,96,97 - 1168.20019531 1028.42738721 1168.20019531 1028.42738721 1168.20019531 1109.70019531 c 0,86,87 -849 1109.70019531 m 0,98,99 - 849 1278.67885151 849 1278.67885151 818.461278783 1338.73817089 c 0,100,101 - 805.871397371 1363.91793372 805.871397371 1363.91793372 785.468558291 1380.55022711 c 0,102,103 - 765.06571921 1397.1825205 765.06571921 1397.1825205 730.58174734 1406.74116259 c 0,104,105 - 696.097775471 1416.29980469 696.097775471 1416.29980469 648 1416.29980469 c 0,106,107 - 615.326158467 1416.29980469 615.326158467 1416.29980469 590.910351619 1401.65058551 c 0,108,109 - 577.712735638 1394.16005455 577.712735638 1394.16005455 574.756270163 1389.60511926 c 0,110,111 - 571.799804688 1385.05018397 571.799804688 1385.05018397 571.799804688 1377.29980469 c 2,112,-1 - 571.799804688 806.700195312 l 1,113,-1 - 646.799804688 806.700195312 l 2,114,115 - 713.686517652 806.700195312 713.686517652 806.700195312 753.524711431 827.114749145 c 0,116,117 - 793.362905211 847.529302977 793.362905211 847.529302977 815.169551526 888.463144816 c 0,118,119 - 849 954.643733689 849 954.643733689 849 1109.70019531 c 0,98,99 -383.211784086 1416.29980469 m 1,120,-1 - 268.166844705 1416.29980469 l 1,121,122 - 269.008682021 1410.26021922 269.008682021 1410.26021922 269.696908163 1404.1213653 c 0,123,124 - 270.385134305 1397.98251138 270.385134305 1397.98251138 270.920612698 1391.72769078 c 0,125,126 - 271.456091091 1385.47287019 271.456091091 1385.47287019 271.84925605 1379.09832526 c 0,127,128 - 272.24242101 1372.72378034 272.24242101 1372.72378034 272.497433523 1366.11016931 c 0,129,130 - 272.752446035 1359.49655828 272.752446035 1359.49655828 272.876223018 1352.74960994 c 0,131,132 - 273 1346.00266159 273 1346.00266159 273 1338.90039062 c 2,133,-1 - 273 168.900390625 l 2,134,135 - 273 123.669087932 273 123.669087932 268.193177594 86.7001953125 c 1,136,-1 - 385.529152598 86.7001953125 l 1,137,138 - 382.505909986 105.296547809 382.505909986 105.296547809 381.152857337 123.976000103 c 0,139,140 - 379.799804688 142.655452397 379.799804688 142.655452397 379.799804688 164.099609375 c 2,141,-1 - 379.799804688 1377.29980469 l 2,142,143 - 379.799804688 1396.79509019 379.799804688 1396.79509019 383.211784086 1416.29980469 c 1,120,-1 +Width: 1288 +VWidth: 2320 +Flags: W +LayerCount: 2 +Fore +SplineSet +688.98046875 617.849609375 m 1,0,-1 + 590.940429688 620.130859375 l 2,1,2 + 585.993153399 620.130859375 585.993153399 620.130859375 576.959960938 620.000915412 c 1,3,-1 + 576.959960938 193.469726562 l 2,4,5 + 576.959960938 157.94962057 576.959960938 157.94962057 583.478561235 138.601385054 c 0,6,7 + 585.811072324 131.678123643 585.811072324 131.678123643 587.861775403 129.116234819 c 0,8,9 + 613.211369358 122.490234375 613.211369358 122.490234375 685.559570312 122.490234375 c 0,10,11 + 732.471834317 122.490234375 732.471834317 122.490234375 757.378137901 89.5257783366 c 0,12,13 + 775.319335938 65.7799088647 775.319335938 65.7799088647 775.319335938 30.2249888831 c 0,14,15 + 775.319335938 -5.32993109854 775.319335938 -5.32993109854 759.711197892 -27.7093623399 c 0,16,17 + 733.696692102 -65.009765625 733.696692102 -65.009765625 685.559570312 -65.009765625 c 2,18,-1 + 11.8193359375 -65.009765625 l 2,19,20 + -7.04987656908 -65.009765625 -7.04987656908 -65.009765625 -22.888319556 -59.0531362236 c 0,21,22 + -46.7241535975 -50.0887935812 -46.7241535975 -50.0887935812 -62.3322916425 -27.7093623399 c 0,23,24 + -77.9404296875 -5.32993109853 -77.9404296875 -5.32993109853 -77.9404296875 30.4501953125 c 0,25,26 + -77.9404296875 49.6111959087 -77.9404296875 49.6111959087 -72.0963728341 65.6529411117 c 0,27,28 + -63.2456449876 89.9478999966 -63.2456449876 89.9478999966 -42.6190589391 104.79886526 c 0,29,30 + -18.0474206033 122.490234375 -18.0474206033 122.490234375 18.66015625 122.490234375 c 0,31,32 + 75.1120324293 122.490234375 75.1120324293 122.490234375 99.4499665248 128.978916881 c 1,33,34 + 105.599609375 150.609960429 105.599609375 150.609960429 105.599609375 198.030273438 c 2,35,-1 + 105.599609375 1309.53027344 l 2,36,37 + 105.599609375 1354.45988856 105.599609375 1354.45988856 99.2397344382 1373.84773162 c 1,38,39 + 77.6746805496 1380.50976562 77.6746805496 1380.50976562 28.919921875 1380.50976562 c 0,40,41 + -10.4398837367 1380.50976562 -10.4398837367 1380.50976562 -35.1958035237 1395.86855448 c 0,42,43 + -59.9517233107 1411.22734334 -59.9517233107 1411.22734334 -70.5325407213 1436.25423857 c 0,44,45 + -77.9404296875 1453.77617982 -77.9404296875 1453.77617982 -77.9404296875 1474.83007812 c 0,46,47 + -77.9404296875 1510.29574371 -77.9404296875 1510.29574371 -60.4010858565 1534.15437746 c 0,48,49 + -35.5127666084 1568.00976562 -35.5127666084 1568.00976562 11.8193359375 1568.00976562 c 2,50,-1 + 691.259765625 1568.00976562 l 2,51,52 + 949.071456173 1568.00976562 949.071456173 1568.00976562 1112.43257431 1472.20415532 c 0,53,54 + 1230.57045274 1403.46994726 1230.57045274 1403.46994726 1283.81566199 1292.22010672 c 0,55,56 + 1325.94042969 1204.20517061 1325.94042969 1204.20517061 1325.94042969 1094.48383247 c 0,57,58 + 1325.94042969 849.500955536 1325.94042969 849.500955536 1105.68118793 719.406999643 c 0,59,60 + 931.931692564 617.849609375 931.931692564 617.849609375 688.98046875 617.849609375 c 1,0,-1 +998.349688963 1322.12290563 m 1,61,62 + 1022.70019531 1230.002403 1022.70019531 1230.002403 1022.70019531 1098.62950059 c 0,63,64 + 1022.70019531 963.003969516 1022.70019531 963.003969516 997.12783146 871.690499655 c 1,65,66 + 1093.80446799 922.003018746 1093.80446799 922.003018746 1123.89963837 1003.89962422 c 0,67,68 + 1138.44042969 1043.46881204 1138.44042969 1043.46881204 1138.44042969 1091.79003906 c 0,69,70 + 1138.44042969 1208.39741809 1138.44042969 1208.39741809 1066.62628755 1275.67287889 c 0,71,72 + 1038.43668883 1302.08088415 1038.43668883 1302.08088415 998.349688963 1322.12290563 c 1,61,62 +803.326703617 882.758373762 m 0,73,74 + 835.200195312 944.851664861 835.200195312 944.851664861 835.200195312 1095.53113794 c 0,75,76 + 835.200195312 1183.15759824 835.200195312 1183.15759824 825.341204867 1242.24555343 c 0,77,78 + 818.178009574 1285.17678102 818.178009574 1285.17678102 806.43136473 1308.27830345 c 0,79,80 + 787.062900558 1347.01485471 787.062900558 1347.01485471 746.33583005 1363.76231017 c 0,81,82 + 705.608759542 1380.50976562 705.608759542 1380.50976562 646.799804688 1380.50976562 c 0,83,84 + 617.084750845 1380.50976562 617.084750845 1380.50976562 593.260106484 1366.60396083 c 0,85,86 + 583.903793379 1361.29360925 583.903793379 1361.29360925 580.431877158 1356.62063332 c 0,87,88 + 576.959960938 1351.94765739 576.959960938 1351.94765739 576.959960938 1346.00976562 c 2,89,-1 + 576.959960938 806.490234375 l 1,90,-1 + 645.66015625 806.490234375 l 2,91,92 + 700.956169247 806.490234375 700.956169247 806.490234375 738.728220093 822.819299977 c 0,93,94 + 781.357042389 841.247974625 781.357042389 841.247974625 803.326703617 882.758373762 c 0,73,74 +389.459960938 193.469726562 m 2,95,-1 + 389.459960938 1346.00976562 l 2,96,97 + 389.459960938 1363.56901945 389.459960938 1363.56901945 392.281994697 1380.50976562 c 1,98,-1 + 289.020254787 1380.50976562 l 1,99,100 + 293.099609375 1349.46902544 293.099609375 1349.46902544 293.099609375 1309.53027344 c 2,101,-1 + 293.099609375 198.030273438 l 2,102,103 + 293.099609375 155.155954361 293.099609375 155.155954361 289.025136366 122.490234375 c 1,104,-1 + 394.340556271 122.490234375 l 1,105,106 + 389.459960938 154.049099033 389.459960938 154.049099033 389.459960938 193.469726562 c 2,95,-1 EndSplineSet EndChar @@ -70023,30 +70005,30 @@ LayerCount: 2 Fore SplineSet -1653 581 m 0 - 1653 553.137788763 1653 553.137788763 1636.64405877 532.131057051 c 0 - 1620.28811753 511.124325339 1620.28811753 511.124325339 1596.78768555 499.374109351 c 2 - 241.787685554 -176.625890649 l 2 - 230.942103338 -182.048681757 230.942103338 -182.048681757 219.036625373 -185.024340879 c 0 - 207.131147408 -188 207.131147408 -188 195 -188 c 0 - 170.118176749 -188 170.118176749 -188 150.657480587 -176.748773984 c 0 - 109 -152.664449073 109 -152.664449073 109 -94 c 2 - 109 1258 l 2 - 109 1315.19191206 109 1315.19191206 148.861232156 1339.67809752 c 0 - 168.920143164 1352 168.920143164 1352 195 1352 c 0 - 219.039461882 1352 219.039461882 1352 241.794424474 1340.6225187 c 2 - 1596.80789337 663.615786741 l 2 - 1620.48039047 651.77953819 1620.48039047 651.77953819 1636.74019524 630.311210595 c 0 - 1653 608.842883001 1653 608.842883001 1653 581 c 0 -1342.40859843 585.701174492 m 1 - 293 1109.54105147 l 1 - 293 54.9459196048 l 1 - 1342.40859843 585.701174492 l 1 -191 23 m 1 - 293 23 l 1 - 293 -79 l 1 - 191 -79 l 1 - 191 23 l 1 +1653 581 m 0,0,1 + 1653 553.137788763 1653 553.137788763 1636.64405877 532.131057051 c 0,2,3 + 1620.28811753 511.124325339 1620.28811753 511.124325339 1596.78768555 499.374109351 c 2,4,-1 + 241.787685554 -176.625890649 l 2,5,6 + 230.942103338 -182.048681757 230.942103338 -182.048681757 219.036625373 -185.024340879 c 0,7,8 + 207.131147408 -188 207.131147408 -188 195 -188 c 0,9,10 + 170.118176749 -188 170.118176749 -188 150.657480587 -176.748773984 c 0,11,12 + 109 -152.664449073 109 -152.664449073 109 -94 c 2,13,-1 + 109 1258 l 2,14,15 + 109 1315.19191206 109 1315.19191206 148.861232156 1339.67809752 c 0,16,17 + 168.920143164 1352 168.920143164 1352 195 1352 c 0,18,19 + 219.039461882 1352 219.039461882 1352 241.794424474 1340.6225187 c 2,20,-1 + 1596.80789337 663.615786741 l 2,21,22 + 1620.48039047 651.77953819 1620.48039047 651.77953819 1636.74019524 630.311210595 c 0,23,24 + 1653 608.842883001 1653 608.842883001 1653 581 c 0,0,1 +1342.40859843 585.701174492 m 1,25,-1 + 293 1109.54105147 l 1,26,-1 + 293 54.9459196048 l 1,27,-1 + 1342.40859843 585.701174492 l 1,25,-1 +191 23 m 1,28,-1 + 293 23 l 1,29,-1 + 293 -79 l 1,30,-1 + 191 -79 l 1,31,-1 + 191 23 l 1,28,-1 EndSplineSet EndChar @@ -70057,34 +70039,34 @@ LayerCount: 2 Fore SplineSet -1603 -94 m 2 - 1603 -131 1603 -131 1580 -159.5 c 0 - 1557 -188 1557 -188 1517 -188 c 0 - 1492.96053315 -188 1492.96053315 -188 1470.21231445 -176.625890649 c 2 - 115.212314446 499.374109351 l 2 - 100.365127344 506.797702902 100.365127344 506.797702902 88.3377223583 517.520788693 c 0 - 76.3103173722 528.243874485 76.3103173722 528.243874485 67.6551586861 545.098203226 c 0 - 59 561.952531968 59 561.952531968 59 581 c 0 - 59 608.835188697 59 608.835188697 75.2625334167 630.308726528 c 0 - 91.5250668335 651.782264358 91.5250668335 651.782264358 115.205575526 663.622518704 c 2 - 1470.19210663 1340.61578674 l 2 - 1492.96053315 1352 1492.96053315 1352 1517 1352 c 0 - 1522.48524318 1352 1522.48524318 1352 1527.84970181 1351.4153766 c 0 - 1533.21416044 1350.83075321 1533.21416044 1350.83075321 1538.8780009 1349.5602672 c 0 - 1544.54184136 1348.2897812 1544.54184136 1348.2897812 1550.28083569 1346.05793738 c 0 - 1556.01983002 1343.82609356 1556.01983002 1343.82609356 1561.34251941 1340.74877398 c 0 - 1584.15412254 1327.56021688 1584.15412254 1327.56021688 1593.57706127 1305.03308733 c 0 - 1603 1282.50595777 1603 1282.50595777 1603 1258 c 2 - 1603 -94 l 2 -1419 1243 m 1 - 1521 1243 l 1 - 1521 1141 l 1 - 1419 1141 l 1 - 1419 1243 l 1 -1419 55.5137132307 m 1 - 1419 1108.73539233 l 1 - 389.950621731 583.851145697 l 1 - 1419 55.5137132307 l 1 +1603 -94 m 2,0,1 + 1603 -131 1603 -131 1580 -159.5 c 0,2,3 + 1557 -188 1557 -188 1517 -188 c 0,4,5 + 1492.96053315 -188 1492.96053315 -188 1470.21231445 -176.625890649 c 2,6,-1 + 115.212314446 499.374109351 l 2,7,8 + 100.365127344 506.797702902 100.365127344 506.797702902 88.3377223583 517.520788693 c 0,9,10 + 76.3103173722 528.243874485 76.3103173722 528.243874485 67.6551586861 545.098203226 c 0,11,12 + 59 561.952531968 59 561.952531968 59 581 c 0,13,14 + 59 608.835188697 59 608.835188697 75.2625334167 630.308726528 c 0,15,16 + 91.5250668335 651.782264358 91.5250668335 651.782264358 115.205575526 663.622518704 c 2,17,-1 + 1470.19210663 1340.61578674 l 2,18,19 + 1492.96053315 1352 1492.96053315 1352 1517 1352 c 0,20,21 + 1522.48524318 1352 1522.48524318 1352 1527.84970181 1351.4153766 c 0,22,23 + 1533.21416044 1350.83075321 1533.21416044 1350.83075321 1538.8780009 1349.5602672 c 0,24,25 + 1544.54184136 1348.2897812 1544.54184136 1348.2897812 1550.28083569 1346.05793738 c 0,26,27 + 1556.01983002 1343.82609356 1556.01983002 1343.82609356 1561.34251941 1340.74877398 c 0,28,29 + 1584.15412254 1327.56021688 1584.15412254 1327.56021688 1593.57706127 1305.03308733 c 0,30,31 + 1603 1282.50595777 1603 1282.50595777 1603 1258 c 2,32,-1 + 1603 -94 l 2,0,1 +1419 1243 m 1,33,-1 + 1521 1243 l 1,34,-1 + 1521 1141 l 1,35,-1 + 1419 1141 l 1,36,-1 + 1419 1243 l 1,33,-1 +1419 55.5137132307 m 1,37,-1 + 1419 1108.73539233 l 1,38,-1 + 389.950621731 583.851145697 l 1,39,-1 + 1419 55.5137132307 l 1,37,-1 EndSplineSet EndChar @@ -70552,66 +70534,48 @@ StartChar: uni2982 Encoding: 10626 10626 1419 -Width: 764 -VWidth: 2391 -Flags: W -LayerCount: 2 -Fore -SplineSet -620.974609375 890.924804688 m 0,0,1 - 620.974609375 872.97940759 620.974609375 872.97940759 618.694035888 855.559153813 c 0,2,3 - 616.413462402 838.138900036 616.413462402 838.138900036 611.929281346 821.550564821 c 0,4,5 - 607.445100291 804.962229607 607.445100291 804.962229607 600.760962172 789.120990879 c 0,6,7 - 594.076824053 773.279752152 594.076824053 773.279752152 585.305728362 758.460515551 c 0,8,9 - 576.534632671 743.641278951 576.534632671 743.641278951 565.641794101 729.793216643 c 0,10,11 - 554.74895553 715.945154335 554.74895553 715.945154335 541.883407146 703.311302359 c 0,12,13 - 463.178919178 626.025390625 463.178919178 626.025390625 354.924804688 626.025390625 c 0,14,15 - 246.400498944 626.025390625 246.400498944 626.025390625 168.212944784 704.212944784 c 0,16,17 - 90.025390625 782.400498944 90.025390625 782.400498944 90.025390625 890.924804688 c 0,18,19 - 90.025390625 999.450086994 90.025390625 999.450086994 168.212944784 1077.63764115 c 0,20,21 - 193.62797257 1103.05266894 193.62797257 1103.05266894 223.323856533 1120.49285879 c 0,22,23 - 253.019740497 1137.93304865 253.019740497 1137.93304865 286.224771929 1146.87912198 c 0,24,25 - 319.42980336 1155.82519531 319.42980336 1155.82519531 354.924804688 1155.82519531 c 0,26,27 - 408.136098769 1155.82519531 408.136098769 1155.82519531 455.754748839 1136.09018976 c 0,28,29 - 503.37339891 1116.35518421 503.37339891 1116.35518421 541.883968929 1078.53873191 c 0,30,31 - 620.974609375 1000.87122925 620.974609375 1000.87122925 620.974609375 890.924804688 c 0,0,1 -620.974609375 156.075195312 m 0,32,33 - 620.974609375 102.157875738 620.974609375 102.157875738 600.782752896 54.3147941326 c 0,34,35 - 580.590896417 6.47171252722 580.590896417 6.47171252722 541.883407146 -31.5392835774 c 0,36,37 - 463.178919178 -108.825195312 463.178919178 -108.825195312 354.924804688 -108.825195312 c 0,38,39 - 246.400498944 -108.825195312 246.400498944 -108.825195312 168.212944784 -30.637641153 c 0,40,41 - 90.025390625 47.5499130065 90.025390625 47.5499130065 90.025390625 156.075195312 c 0,42,43 - 90.025390625 264.599501056 90.025390625 264.599501056 168.212944784 342.787055216 c 0,44,45 - 246.400498944 420.974609375 246.400498944 420.974609375 354.924804688 420.974609375 c 0,46,47 - 463.178919176 420.974609375 463.178919176 420.974609375 541.883685487 343.688424314 c 0,48,49 - 580.590592128 305.678592603 580.590592128 305.678592603 600.782600752 257.835424878 c 0,50,51 - 620.974609375 209.992257152 620.974609375 209.992257152 620.974609375 156.075195312 c 0,32,33 -424.674804688 890.924804688 m 0,52,53 - 424.674804688 905.338157061 424.674804688 905.338157061 419.963924959 916.430150749 c 0,54,55 - 415.253045231 927.522144438 415.253045231 927.522144438 403.962944787 938.812554157 c 0,56,57 - 383.250108321 959.52539062 383.250108321 959.52539062 354.924804688 959.52539062 c 0,58,59 - 327.749891672 959.52539062 327.749891672 959.52539062 307.037549144 938.813048094 c 0,60,61 - 286.325195312 918.100126879 286.325195312 918.100126879 286.325195312 890.924804688 c 0,62,63 - 286.325195312 876.511716506 286.325195312 876.511716506 291.036143152 865.419522599 c 0,64,65 - 295.747090991 854.327328691 295.747090991 854.327328691 307.036561281 843.037549144 c 0,66,67 - 318.327564524 831.746855192 318.327564524 831.746855192 329.419742447 827.036025252 c 0,68,69 - 340.511920371 822.325195312 340.511920371 822.325195312 354.924804688 822.325195312 c 0,70,71 - 383.250517531 822.325195312 383.250517531 822.325195312 403.962450856 843.036561281 c 0,72,73 - 424.674804688 863.749482496 424.674804688 863.749482496 424.674804688 890.924804688 c 0,52,53 -424.674804688 156.075195312 m 0,74,75 - 424.674804688 170.488283494 424.674804688 170.488283494 419.963856848 181.580477401 c 0,76,77 - 415.252909009 192.672671309 415.252909009 192.672671309 403.963438719 203.962450856 c 0,78,79 - 392.764366792 215.161216011 392.764366792 215.161216011 381.409522711 219.918010349 c 0,80,81 - 370.05467863 224.674804688 370.05467863 224.674804688 354.924804688 224.674804688 c 0,82,83 - 340.511716506 224.674804688 340.511716506 224.674804688 329.419522599 219.963856848 c 0,84,85 - 318.327328691 215.252909009 318.327328691 215.252909009 307.037549144 203.963438719 c 0,86,87 - 295.746855192 192.672435476 295.746855192 192.672435476 291.036025252 181.580257553 c 0,88,89 - 286.325195312 170.488079629 286.325195312 170.488079629 286.325195312 156.075195312 c 0,90,91 - 286.325195312 128.899873114 286.325195312 128.899873114 307.037055216 108.187445841 c 0,92,93 - 327.749891681 87.474609375 327.749891681 87.474609375 354.924804688 87.474609375 c 0,94,95 - 383.250108326 87.474609375 383.250108326 87.474609375 403.962450856 108.186951906 c 0,96,97 - 415.253144808 119.477955149 415.253144808 119.477955149 419.963974748 130.570133072 c 0,98,99 - 424.674804688 141.662310995 424.674804688 141.662310995 424.674804688 156.075195312 c 0,74,75 +Width: 906 +VWidth: 3304 +Flags: W +LayerCount: 2 +Fore +SplineSet +696.041015625 1279.5234375 m 0 + 696.041015625 1138.59857799 696.041015625 1138.59857799 594.797118166 1039.17917181 c 0 + 493.553220706 939.759765625 493.553220706 939.759765625 354.588508939 939.759765625 c 0 + 215.623797171 939.759765625 215.623797171 939.759765625 115.291305313 1040.09111 c 0 + 14.958984375 1140.42343094 14.958984375 1140.42343094 14.958984375 1279.5234375 c 0 + 14.958984375 1418.62442063 14.958984375 1418.62442063 115.291305313 1518.95674156 c 0 + 215.62362625 1619.2890625 215.62362625 1619.2890625 354.58850937 1619.2890625 c 0 + 493.55339249 1619.2890625 493.55339249 1619.2890625 594.797204057 1519.86859319 c 0 + 696.041015625 1420.44812388 696.041015625 1420.44812388 696.041015625 1279.5234375 c 0 +696.041015625 287.4765625 m 0 + 696.041015625 146.551876123 696.041015625 146.551876123 594.79720406 47.1314068116 c 0 + 493.553392495 -52.2890625 493.553392495 -52.2890625 354.588509372 -52.2890625 c 0 + 215.62362625 -52.2890625 215.62362625 -52.2890625 115.291305313 48.0432584375 c 0 + 14.958984375 148.375579375 14.958984375 148.375579375 14.958984375 287.4765625 c 0 + 14.958984375 426.576569061 14.958984375 426.576569061 115.291513074 526.909097761 c 0 + 215.62379717 627.240234375 215.62379717 627.240234375 354.588508936 627.240234375 c 0 + 493.553220702 627.240234375 493.553220702 627.240234375 594.797118163 527.820828197 c 0 + 696.041015625 428.40142202 696.041015625 428.40142202 696.041015625 287.4765625 c 0 +466.736328125 1279.5234375 m 0 + 466.736328125 1323.61807012 466.736328125 1323.61807012 433.553632019 1356.80143955 c 0 + 400.370696566 1389.984375 400.370696566 1389.984375 355.500000002 1389.984375 c 0 + 310.629303438 1389.984375 310.629303438 1389.984375 277.445999375 1356.80107094 c 0 + 244.263671875 1323.61807012 244.263671875 1323.61807012 244.263671875 1279.5234375 c 0 + 244.263671875 1235.42880488 244.263671875 1235.42880488 277.446367981 1202.24543545 c 0 + 310.628696912 1169.06445312 310.628696912 1169.06445312 355.499999983 1169.06445312 c 0 + 400.371303054 1169.06445312 400.371303054 1169.06445312 433.554737856 1202.24654128 c 0 + 466.736328125 1235.42880485 466.736328125 1235.42880485 466.736328125 1279.5234375 c 0 +466.736328125 287.4765625 m 0 + 466.736328125 331.571195118 466.736328125 331.571195118 433.553632019 364.754564547 c 0 + 400.371303088 397.935546875 400.371303088 397.935546875 355.500000017 397.935546875 c 0 + 310.628696946 397.935546875 310.628696946 397.935546875 277.445262144 364.753458722 c 0 + 244.263671875 331.571195152 244.263671875 331.571195152 244.263671875 287.4765625 c 0 + 244.263671875 243.381929882 244.263671875 243.381929882 277.446367981 210.198560453 c 0 + 310.629303434 177.015625 310.629303434 177.015625 355.499999998 177.015625 c 0 + 400.370696562 177.015625 400.370696562 177.015625 433.554000625 210.198929062 c 0 + 466.736328125 243.381929878 466.736328125 243.381929878 466.736328125 287.4765625 c 0 EndSplineSet EndChar @@ -70648,77 +70612,58 @@ StartChar: uni2A1F Encoding: 10783 10783 1421 -Width: 781 -VWidth: 2505 -Flags: W -LayerCount: 2 -Fore -SplineSet -630 939.400390625 m 0,0,1 - 630 825.603187225 630 825.603187225 548.133196475 745.21050955 c 0,2,3 - 508.235660186 706.032543483 508.235660186 706.032543483 458.973057539 685.616369398 c 0,4,5 - 409.710454892 665.200195312 409.710454892 665.200195312 354.599609375 665.200195312 c 0,6,7 - 242.275498944 665.200195312 242.275498944 665.200195312 161.337944784 746.137749471 c 0,8,9 - 80.400390625 827.075303631 80.400390625 827.075303631 80.400390625 939.400390625 c 0,10,11 - 80.400390625 994.615726826 80.400390625 994.615726826 101.064294402 1043.83401772 c 0,12,13 - 121.728198178 1093.05230861 121.728198178 1093.05230861 161.337944784 1132.66205522 c 0,14,15 - 242.275498944 1213.59960938 242.275498944 1213.59960938 354.599609375 1213.59960938 c 0,16,17 - 466.653356235 1213.59960938 466.653356235 1213.59960938 548.133734853 1133.58876646 c 0,18,19 - 588.228309548 1094.21615044 588.228309548 1094.21615044 609.114154774 1044.72927542 c 0,20,21 - 630 995.242400404 630 995.242400404 630 939.400390625 c 0,0,1 -633.599609375 123.400390625 m 0,22,23 - 633.599609375 9.00200751407 633.599609375 9.00200751407 589.708205735 -110.667078031 c 0,24,25 - 570.869651103 -162.030042504 570.869651103 -162.030042504 544.049449595 -214.137924937 c 0,26,27 - 450.803989721 -399.334603224 450.803989721 -399.334603224 312.565792418 -477.759184033 c 2,28,-1 - 311.402301901 -478.419249469 l 1,29,-1 - 310.205809147 -479.017414706 l 2,30,31 - 285.038006301 -491.599609375 285.038006301 -491.599609375 259.799804688 -491.599609375 c 0,32,33 - 235.022837146 -491.599609375 235.022837146 -491.599609375 212.228973619 -481.412859476 c 0,34,35 - 189.435110091 -471.226109577 189.435110091 -471.226109577 175.619519126 -449.677838004 c 0,36,37 - 166.915989056 -436.10288272 166.915989056 -436.10288272 163.257799216 -420.836365281 c 0,38,39 - 159.599609375 -405.569847842 159.599609375 -405.569847842 159.599609375 -389 c 2,40,-1 - 159.599609375 -381.799804688 l 1,41,-1 - 159.599609375 -375.115526283 l 1,42,-1 - 161.322159972 -368.657012736 l 2,43,44 - 166.015550563 -351.059662172 166.015550563 -351.059662172 176.534576258 -336.112572454 c 0,45,46 - 187.053601953 -321.165482736 187.053601953 -321.165482736 201.557583038 -309.562770002 c 0,47,48 - 320.640413596 -214.455724069 320.640413596 -214.455724069 377.980300471 -100.611287994 c 1,49,50 - 371.84589141 -101.128722716 371.84589141 -101.128722716 366.220245314 -101.364166045 c 0,51,52 - 360.594599217 -101.599609375 360.594599217 -101.599609375 354.599609375 -101.599609375 c 0,53,54 - 242.275498944 -101.599609375 242.275498944 -101.599609375 161.337944784 -20.6620552155 c 0,55,56 - 80.400390625 60.275498944 80.400390625 60.275498944 80.400390625 172.599609375 c 0,57,58 - 80.400390625 284.924696369 80.400390625 284.924696369 161.337944784 365.862250529 c 0,59,60 - 242.275498944 446.799804688 242.275498944 446.799804688 354.599609375 446.799804688 c 0,61,62 - 427.533758429 446.799804688 427.533758429 446.799804688 486.009540558 416.616182595 c 0,63,64 - 544.485322687 386.432560501 544.485322687 386.432560501 581.13759372 328.52209158 c 0,65,66 - 607.76835656 287.495546087 607.76835656 287.495546087 620.683982968 235.808127664 c 0,67,68 - 633.599609375 184.120709241 633.599609375 184.120709241 633.599609375 123.400390625 c 0,22,23 -429.599609375 939.400390625 m 0,69,70 - 429.599609375 954.864342656 429.599609375 954.864342656 424.501684567 966.867882544 c 0,71,72 - 419.403759758 978.871422431 419.403759758 978.871422431 407.337944786 990.937554158 c 0,73,74 - 385.075303632 1013.20019531 385.075303632 1013.20019531 354.599609375 1013.20019531 c 0,75,76 - 344.244697887 1013.20019531 344.244697887 1013.20019531 335.7511239 1011.03408571 c 0,77,78 - 327.257549913 1008.86797612 327.257549913 1008.86797612 319.231420895 1003.97418816 c 0,79,80 - 311.205291876 999.080400194 311.205291876 999.080400194 303.062445841 990.937554159 c 0,81,82 - 290.995664306 978.870772625 290.995664306 978.870772625 285.897734497 966.867586402 c 0,83,84 - 280.799804688 954.864400179 280.799804688 954.864400179 280.799804688 939.400390625 c 0,85,86 - 280.799804688 923.935802137 280.799804688 923.935802137 285.89777214 911.932379457 c 0,87,88 - 290.995739593 899.928956776 290.995739593 899.928956776 303.062445841 887.862250528 c 0,89,90 - 315.129227376 875.795468993 315.129227376 875.795468993 327.132413598 870.697539184 c 0,91,92 - 339.135599821 865.599609375 339.135599821 865.599609375 354.599609375 865.599609375 c 0,93,94 - 385.075303637 865.599609375 385.075303637 865.599609375 407.337471434 887.861777172 c 0,95,96 - 429.599609375 910.124499543 429.599609375 910.124499543 429.599609375 939.400390625 c 0,69,70 -429.599609375 172.599609375 m 0,97,98 - 429.599609375 201.875500463 429.599609375 201.875500463 407.337944784 224.137749471 c 0,99,100 - 385.075303631 246.400390625 385.075303631 246.400390625 354.599609375 246.400390625 c 0,101,102 - 339.135628714 246.400390625 339.135628714 246.400390625 327.132427249 241.302460021 c 0,103,104 - 315.129225785 236.204529416 315.129225785 236.204529416 303.062445841 224.137749471 c 0,105,106 - 290.995738007 212.071041638 290.995738007 212.071041638 285.897771348 200.067634193 c 0,107,108 - 280.799804688 188.064226748 280.799804688 188.064226748 280.799804688 172.599609375 c 0,109,110 - 280.799804688 143.325086993 280.799804688 143.325086993 303.062445841 121.06244584 c 0,111,112 - 325.325086993 98.7998046875 325.325086993 98.7998046875 354.599609375 98.7998046875 c 0,113,114 - 385.075303637 98.7998046875 385.075303637 98.7998046875 407.337471434 121.061972484 c 0,115,116 - 429.599609375 143.324694855 429.599609375 143.324694855 429.599609375 172.599609375 c 0,97,98 +Width: 902 +VWidth: 3369 +Flags: W +LayerCount: 2 +Fore +SplineSet +693.713867188 1355.40234375 m 0,0,1 + 693.713867188 1215.09852848 693.713867188 1215.09852848 592.919249375 1116.12006502 c 0,2,3 + 492.124631562 1017.14160156 492.124631562 1017.14160156 353.775324284 1017.14160156 c 0,4,5 + 215.426017005 1017.14160156 215.426017005 1017.14160156 115.540537601 1117.02937771 c 0,6,7 + 15.6533203125 1216.91544662 15.6533203125 1216.91544662 15.6533203125 1355.40234375 c 0,8,9 + 15.6533203125 1493.88516281 15.6533203125 1493.88516281 115.54032875 1593.77217125 c 0,10,11 + 215.426360625 1693.65820312 215.426360625 1693.65820312 353.775323394 1693.65820312 c 0,12,13 + 492.124286163 1693.65820312 492.124286163 1693.65820312 592.919076675 1594.68014092 c 0,14,15 + 693.713867188 1495.70207872 693.713867188 1495.70207872 693.713867188 1355.40234375 c 0,0,1 +231.903320312 -471.658203125 m 0,16,17 + 171.492801729 -471.658203125 171.492801729 -471.658203125 140.518233618 -431.051853251 c 0,18,19 + 117.583007812 -400.984741413 117.583007812 -400.984741413 117.583007812 -354.25 c 2,20,-1 + 117.583007812 -338.261118626 l 1,21,-1 + 119.299837838 -331.824159267 l 2,22,23 + 129.790262562 -292.492113227 129.790262562 -292.492113227 166.136025171 -263.416728914 c 0,24,25 + 334.980357457 -128.566543635 334.980357457 -128.566543635 408.800985173 34.7962406619 c 1,26,27 + 383.43576233 30.2569406171 383.43576233 30.2569406171 356.916948312 30.2569406171 c 0,0,0 + 355.415888595 30.2569406171 355.415888595 30.2569406171 353.911132812 30.271484375 c 0,1,2 + 215.426188814 30.271484375 215.426188814 30.271484375 115.540537601 130.158283963 c 0,3,4 + 15.6533203125 230.044352871 15.6533203125 230.044352871 15.6533203125 368.528320312 c 0,5,6 + 15.6533203125 507.014069062 15.6533203125 507.014069062 115.54032875 606.9010775 c 0,7,8 + 215.426360625 706.787109375 215.426360625 706.787109375 353.911132812 706.787109375 c 0,9,10 + 435.394998652 706.787109375 435.394998652 706.787109375 499.717282535 678.359614597 c 0,11,12 + 581.96340856 642.010604939 581.96340856 642.010604939 633.173851058 561.24917306 c 0,13,14 + 698 461 698 461 698.346679688 305.208984375 c 0,15,16 + 698.346679688 98.3465730594 698.346679688 98.3465730594 584.71827975 -122.511325977 c 0,17,18 + 466.576343873 -357.049244045 466.576343873 -357.049244045 291.374054519 -456.44427425 c 1,19,20 + 260.938178465 -471.658203125 260.938178465 -471.658203125 231.903320312 -471.658203125 c 0,16,17 +465.073242188 1355.40234375 m 0,21,22 + 465.073242188 1399.15487625 465.073242188 1399.15487625 432.14189125 1432.08622719 c 0,23,24 + 399.20956375 1465.01855469 399.20956375 1465.01855469 354.68359375 1465.01855469 c 0,25,26 + 310.15762375 1465.01855469 310.15762375 1465.01855469 277.22529625 1432.08622719 c 0,27,28 + 244.29296875 1399.15457142 244.29296875 1399.15457142 244.29296875 1355.40234375 c 0,29,30 + 244.29296875 1311.64688156 244.29296875 1311.64688156 277.22529625 1278.71455406 c 0,31,32 + 310.157318913 1245.78320312 310.157318913 1245.78320312 354.683593748 1245.78320312 c 0,33,34 + 399.209868583 1245.78320312 399.209868583 1245.78320312 432.142261792 1278.7149246 c 0,35,36 + 465.073242188 1311.64657671 465.073242188 1311.64657671 465.073242188 1355.40234375 c 0,21,22 +465.073242188 368.528320312 m 0,37,38 + 465.073242188 412.282805938 465.073242188 412.282805938 432.14189125 445.214156875 c 0,39,40 + 399.209258926 478.147460938 399.209258926 478.147460938 354.683593752 478.147460938 c 0,41,42 + 310.157928578 478.147460938 310.157928578 478.147460938 277.225666781 445.21452741 c 0,43,44 + 244.29296875 412.282501118 244.29296875 412.282501118 244.29296875 368.528320312 c 0,45,46 + 244.29296875 324.775787812 244.29296875 324.775787812 277.22529625 291.843460312 c 0,47,48 + 310.157318913 258.912109375 310.157318913 258.912109375 354.683593748 258.912109375 c 0,49,50 + 399.209868583 258.912109375 399.209868583 258.912109375 432.142261792 291.843830851 c 0,51,52 + 465.073242188 324.775482964 465.073242188 324.775482964 465.073242188 368.528320312 c 0,37,38 EndSplineSet EndChar @@ -71261,5 +71206,63 @@ 453.263378127 582 l 1,35,-1 EndSplineSet EndChar + +StartChar: uni2A3E +Encoding: 10814 10814 1430 +Width: 781 +VWidth: 2505 +Flags: W +LayerCount: 2 +Fore +SplineSet +630 939.400390625 m 0,0,1 + 630 825.617180796 630 825.617180796 548.319552968 745.408688054 c 0,2,3 + 466.639105936 665.200195312 466.639105936 665.200195312 354.464373906 665.200195312 c 0,4,5 + 242.289641875 665.200195312 242.289641875 665.200195312 161.34501625 746.144820937 c 0,6,7 + 80.400390625 827.089446562 80.400390625 827.089446562 80.400390625 939.400390625 c 0,8,9 + 80.400390625 1051.71035813 80.400390625 1051.71035813 161.34501625 1132.65498375 c 0,10,11 + 242.289641875 1213.59960938 242.289641875 1213.59960938 354.464373903 1213.59960938 c 0,12,13 + 466.63910593 1213.59960938 466.63910593 1213.59960938 548.319552965 1133.39111664 c 0,14,15 + 630 1053.1826239 630 1053.1826239 630 939.400390625 c 0,0,1 +633.60262099 125.272293752 m 0,0,0 + 633.60262099 124.337590555 633.60262099 124.337590555 633.599609375 123.400390625 c 0,1,2 + 633.599609375 -40.0681486286 633.599609375 -40.0681486286 544.079606999 -214.087487087 c 0,3,4 + 450.734102626 -399.375681152 450.734102626 -399.375681152 311.349779049 -478.450476406 c 1,5,6 + 285.047945792 -491.599609375 285.047945792 -491.599609375 259.799804688 -491.599609375 c 0,7,8 + 207.233763603 -491.599609375 207.233763603 -491.599609375 179.745644908 -455.563772065 c 0,9,10 + 159.599609375 -429.15311563 159.599609375 -429.15311563 159.599609375 -389 c 2,11,-1 + 159.599609375 -375.077630412 l 1,12,-1 + 161.316386184 -368.640765047 l 2,13,14 + 170.428839297 -334.474626765 170.428839297 -334.474626765 201.609726262 -309.530932195 c 0,15,16 + 321.107560457 -214.092438229 321.107560457 -214.092438229 378.049005545 -100.591569594 c 1,17,18 + 368.667101265 -101.688237631 368.667101265 -101.688237631 362.895119046 -101.688237631 c 0,0,0 + 357.123136827 -101.688237631 357.123136827 -101.688237631 354.599609375 -101.599609375 c 0,1,2 + 242.289641875 -101.599609375 242.289641875 -101.599609375 161.34501625 -20.65498375 c 0,3,4 + 80.400390625 60.289641875 80.400390625 60.289641875 80.400390625 172.599609375 c 0,5,6 + 80.400390625 284.910553438 80.400390625 284.910553438 161.34501625 365.855179063 c 0,7,8 + 242.289641875 446.799804688 242.289641875 446.799804688 354.599609375 446.799804688 c 0,9,10 + 420.317884736 446.799804688 420.317884736 446.799804688 472.479893649 423.746511577 c 0,11,12 + 539.523847837 394.11605908 539.523847837 394.11605908 581.168936084 328.468898013 c 0,13,14 + 633.60262099 248.605262296 633.60262099 248.605262296 633.60262099 125.272293752 c 0,0,0 +429.599609375 939.400390625 m 0,0,1 + 429.599609375 968.689448261 429.599609375 968.689448261 407.344539364 990.945102518 c 0,2,3 + 385.089446569 1013.20019531 385.089446569 1013.20019531 355.200195315 1013.20019531 c 0,4,5 + 325.310944061 1013.20019531 325.310944061 1013.20019531 303.05547264 990.94472389 c 0,6,7 + 280.799804688 968.689055938 280.799804688 968.689055938 280.799804688 939.400390625 c 0,8,9 + 280.799804688 910.11074875 280.799804688 910.11074875 303.055374375 887.855179063 c 0,10,11 + 325.310944062 865.599609375 325.310944062 865.599609375 355.200195312 865.599609375 c 0,12,13 + 385.089446562 865.599609375 385.089446562 865.599609375 407.34501625 887.855179063 c 0,14,15 + 429.599609375 910.11035642 429.599609375 910.11035642 429.599609375 939.400390625 c 0,0,1 +429.599609375 172.599609375 m 0,16,17 + 429.599609375 201.889643573 429.599609375 201.889643573 407.344539364 224.14529783 c 0,18,19 + 385.089446568 246.400390625 385.089446568 246.400390625 355.200195315 246.400390625 c 0,20,21 + 325.310944061 246.400390625 325.310944061 246.400390625 303.055177819 224.144624382 c 0,22,23 + 280.799804688 201.889251251 280.799804688 201.889251251 280.799804688 172.599609375 c 0,24,25 + 280.799804688 143.310944062 280.799804688 143.310944062 303.055374375 121.055374375 c 0,26,27 + 325.310944062 98.7998046875 325.310944062 98.7998046875 355.200195312 98.7998046875 c 0,28,29 + 385.089446562 98.7998046875 385.089446562 98.7998046875 407.34501625 121.055374375 c 0,30,31 + 429.599609375 143.310551732 429.599609375 143.310551732 429.599609375 172.599609375 c 0,16,17 +EndSplineSet +EndChar EndChars EndSplineFont diff -r 0cc9c2d43957 -r 3ede182a479a Admin/isabelle_fonts/README --- a/Admin/isabelle_fonts/README Fri Mar 19 13:44:33 2021 +0100 +++ b/Admin/isabelle_fonts/README Fri Mar 19 23:35:37 2021 +0100 @@ -17,7 +17,7 @@ Makarius - 17-Mar-2021 + 19-Mar-2021 ---------------------------------------------------------------------------- diff -r 0cc9c2d43957 -r 3ede182a479a etc/symbols --- a/etc/symbols Fri Mar 19 13:44:33 2021 +0100 +++ b/etc/symbols Fri Mar 19 23:35:37 2021 +0100 @@ -173,11 +173,11 @@ \ code: 0x0021d2 group: arrow abbrev: .> abbrev: => \ code: 0x0027f9 group: arrow abbrev: .> abbrev: ==> \ code: 0x0021db group: arrow abbrev: .> -\ code: 0x002194 group: arrow abbrev: <> abbrev: <-> +\ code: 0x002194 group: arrow group: Z_Notation abbrev: <> abbrev: <-> \ code: 0x0027f7 group: arrow abbrev: <> abbrev: <-> abbrev: <--> \ code: 0x0021d4 group: arrow abbrev: <> \ code: 0x0027fa group: arrow abbrev: <> -\ code: 0x0021a6 group: arrow abbrev: .> abbrev: |-> +\ code: 0x0021a6 group: arrow group: Z_Notation abbrev: .> abbrev: |-> \ code: 0x0027fc group: arrow abbrev: .> abbrev: |--> \ code: 0x002500 group: arrow abbrev: <> \ code: 0x002550 group: arrow abbrev: <> @@ -191,9 +191,9 @@ \ code: 0x00219d group: arrow group: Z_Notation abbrev: .> abbrev: ~> \ code: 0x0021c3 group: arrow \ code: 0x0021c2 group: arrow -\ code: 0x0021bf group: arrow +\ code: 0x0021bf group: arrow group: Z_Notation #\ code: 0x0021be group: arrow -\ code: 0x0021be group: operator +\ code: 0x0021be group: operator group: Z_Notation \ code: 0x002237 group: punctuation \ code: 0x002191 group: arrow \ code: 0x0021d1 group: arrow @@ -381,12 +381,13 @@ \ code: 0x0025B7 group: Z_Notation group: relation \ code: 0x002A65 group: Z_Notation group: relation \ code: 0x002981 group: Z_Notation group: punctuation -\ code: 0x002A1F group: Z_Notation group: punctuation +\ code: 0x002A1F group: Z_Notation \ code: 0x002A21 group: Z_Notation group: operator \ code: 0x002982 group: Z_Notation group: relation \ code: 0x0029F9 group: Z_Notation group: operator \ code: 0x002040 group: Z_Notation group: operator \ code: 0x0022FF group: Z_Notation group: relation +\ code: 0x002032 group: Z_Notation group: punctuation \ code: 0x002311 \ code: 0x0023ce \ code: 0x002015 group: document argument: space_cartouche font: Isabelle␣DejaVu␣Sans␣Mono