further clarification of Z Notation symbols (notably glyphs 0x2119, 0x2A1F, 0x2982, 0x2A3E), by Simon Foster;
authorwenzelm
Fri, 19 Mar 2021 23:35:37 +0100
changeset 73457 3ede182a479a
parent 73456 0cc9c2d43957
child 73458 53e5d0c412b6
further clarification of Z Notation symbols (notably glyphs 0x2119, 0x2A1F, 0x2982, 0x2A3E), by Simon Foster;
Admin/components/main
Admin/isabelle_fonts/IsabelleSymbols.sfd
Admin/isabelle_fonts/IsabelleSymbolsBold.sfd
Admin/isabelle_fonts/README
etc/symbols
--- 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
--- 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
--- 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
--- 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
 
 
 ----------------------------------------------------------------------------
--- 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 @@
 \<Rightarrow>           code: 0x0021d2  group: arrow  abbrev: .>  abbrev: =>
 \<Longrightarrow>       code: 0x0027f9  group: arrow  abbrev: .>  abbrev: ==>
 \<Rrightarrow>          code: 0x0021db  group: arrow  abbrev: .>
-\<leftrightarrow>       code: 0x002194  group: arrow  abbrev: <>  abbrev: <->
+\<leftrightarrow>       code: 0x002194  group: arrow  group: Z_Notation  abbrev: <>  abbrev: <->
 \<longleftrightarrow>   code: 0x0027f7  group: arrow  abbrev: <>  abbrev: <->  abbrev: <-->
 \<Leftrightarrow>       code: 0x0021d4  group: arrow  abbrev: <>
 \<Longleftrightarrow>   code: 0x0027fa  group: arrow  abbrev: <>
-\<mapsto>               code: 0x0021a6  group: arrow  abbrev: .>  abbrev: |->
+\<mapsto>               code: 0x0021a6  group: arrow  group: Z_Notation  abbrev: .>  abbrev: |->
 \<longmapsto>           code: 0x0027fc  group: arrow  abbrev: .>  abbrev: |-->
 \<midarrow>             code: 0x002500  group: arrow  abbrev: <>
 \<Midarrow>             code: 0x002550  group: arrow  abbrev: <>
@@ -191,9 +191,9 @@
 \<leadsto>              code: 0x00219d  group: arrow  group: Z_Notation  abbrev: .> abbrev: ~>
 \<downharpoonleft>      code: 0x0021c3  group: arrow
 \<downharpoonright>     code: 0x0021c2  group: arrow
-\<upharpoonleft>        code: 0x0021bf  group: arrow
+\<upharpoonleft>        code: 0x0021bf  group: arrow  group: Z_Notation
 #\<upharpoonright>       code: 0x0021be  group: arrow
-\<restriction>          code: 0x0021be  group: operator
+\<restriction>          code: 0x0021be  group: operator  group: Z_Notation
 \<Colon>                code: 0x002237  group: punctuation
 \<up>                   code: 0x002191  group: arrow
 \<Up>                   code: 0x0021d1  group: arrow
@@ -381,12 +381,13 @@
 \<Zrres>                code: 0x0025B7  group: Z_Notation  group: relation
 \<Znrres>               code: 0x002A65  group: Z_Notation  group: relation
 \<Zspot>                code: 0x002981  group: Z_Notation  group: punctuation
-\<Zsemi>                code: 0x002A1F  group: Z_Notation  group: punctuation
+\<Zsemi>                code: 0x002A1F  group: Z_Notation
 \<Zproject>             code: 0x002A21  group: Z_Notation  group: operator
 \<Ztypecolon>           code: 0x002982  group: Z_Notation  group: relation
 \<Zhide>                code: 0x0029F9  group: Z_Notation  group: operator
 \<Zcat>                 code: 0x002040  group: Z_Notation  group: operator
 \<Zinbag>               code: 0x0022FF  group: Z_Notation  group: relation
+\<Zprime>               code: 0x002032  group: Z_Notation  group: punctuation
 \<hole>                 code: 0x002311
 \<newline>              code: 0x0023ce
 \<comment>              code: 0x002015  group: document  argument: space_cartouche  font: Isabelle␣DejaVu␣Sans␣Mono