Admin/isabelle_fonts/IsabelleSymbolsBold.sfd
changeset 73453 519ce76a602f
parent 73446 d1c4c2395650
child 73457 3ede182a479a
--- a/Admin/isabelle_fonts/IsabelleSymbolsBold.sfd	Thu Mar 18 21:36:19 2021 +0100
+++ b/Admin/isabelle_fonts/IsabelleSymbolsBold.sfd	Thu Mar 18 21:49:19 2021 +0100
@@ -21,7 +21,7 @@
 OS2_WeightWidthSlopeOnly: 0
 OS2_UseTypoMetrics: 1
 CreationTime: 1050374980
-ModificationTime: 1615933192
+ModificationTime: 1616099497
 PfmFamily: 17
 TTFWeight: 700
 TTFWidth: 5
@@ -1679,7 +1679,7 @@
 DisplaySize: -96
 AntiAlias: 1
 FitToEm: 1
-WinInfo: 10620 12 8
+WinInfo: 9648 12 8
 BeginPrivate: 0
 EndPrivate
 BeginChars: 1114115 1430
@@ -70018,49 +70018,73 @@
 
 StartChar: uni25B7
 Encoding: 9655 9655 1412
-Width: 1356
-Flags: W
-LayerCount: 2
-Fore
-SplineSet
-1334.94164882 538.697025983 m 1,0,-1
- 143.941648822 -202.302974017 l 1,1,-1
- 66 -250.795637138 l 1,2,-1
- 66 -159 l 1,3,-1
- 66 1323 l 1,4,-1
- 66 1414.79563714 l 1,5,-1
- 143.941648822 1366.30297402 l 1,6,-1
- 1334.94164882 625.302974017 l 1,7,-1
- 1404.54197548 582 l 1,8,-1
- 1334.94164882 538.697025983 l 1,0,-1
-1022.43396042 582 m 1,9,-1
- 268 1051.22112173 l 1,10,-1
- 268 112.778878275 l 1,11,-1
- 1022.43396042 582 l 1,9,-1
+Width: 1712
+Flags: W
+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
 EndSplineSet
 EndChar
 
 StartChar: uni25C1
 Encoding: 9665 9665 1413
-Width: 1356
-Flags: W
-LayerCount: 2
-Fore
-SplineSet
-1212.05835118 -202.302974017 m 1,0,-1
- 21.0583511781 538.697025983 l 1,1,-1
- -48.5419754816 582 l 1,2,-1
- 21.0583511781 625.302974017 l 1,3,-1
- 1212.05835118 1366.30297402 l 1,4,-1
- 1290 1414.79563714 l 1,5,-1
- 1290 1323 l 1,6,-1
- 1290 -159 l 1,7,-1
- 1290 -250.795637138 l 1,8,-1
- 1212.05835118 -202.302974017 l 1,0,-1
-1088 112.778878275 m 1,9,-1
- 1088 1051.22112173 l 1,10,-1
- 333.566039579 582 l 1,11,-1
- 1088 112.778878275 l 1,9,-1
+Width: 1712
+Flags: W
+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
 EndSplineSet
 EndChar