--- a/Admin/isabelle_fonts/IsabelleSymbolsBold.sfd Mon Oct 04 13:32:34 2021 +0200
+++ b/Admin/isabelle_fonts/IsabelleSymbolsBold.sfd Mon Oct 04 13:39:38 2021 +0200
@@ -21,7 +21,7 @@
OS2_WeightWidthSlopeOnly: 0
OS2_UseTypoMetrics: 1
CreationTime: 1050374980
-ModificationTime: 1616429477
+ModificationTime: 1633346753
PfmFamily: 17
TTFWeight: 700
TTFWidth: 5
@@ -1679,10 +1679,10 @@
DisplaySize: -96
AntiAlias: 1
FitToEm: 1
-WinInfo: 10978 11 8
+WinInfo: 8195 11 8
BeginPrivate: 0
EndPrivate
-BeginChars: 1114115 1450
+BeginChars: 1114115 1451
StartChar: .notdef
Encoding: 1114112 -1 0
@@ -71737,5 +71737,63 @@
1131.20656165 1403 1131.20656165 1403 1167.81653987 1380.08960467 c 1,0,1
EndSplineSet
EndChar
+
+StartChar: uni2016
+Encoding: 8214 8214 1450
+Width: 1408
+VWidth: 3930
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+273.48046875 1636.74023438 m 2
+ 274.305963608 1698.42980182 274.305963608 1698.42980182 317.779016975 1740.38509515 c 0
+ 331.5651659 1753.48196068 331.5651659 1753.48196068 348.024849563 1762.58337143 c 0
+ 364.484533226 1771.68478217 364.484533226 1771.68478217 382.684388387 1776.34239109 c 0
+ 400.884243548 1781 400.884243548 1781 419.959960938 1781 c 0
+ 434.214451746 1781 434.214451746 1781 448.226135404 1778.10483503 c 0
+ 462.237819061 1775.20967007 462.237819061 1775.20967007 475.267592525 1769.544884 c 0
+ 500.772123393 1758.45726043 500.772123393 1758.45726043 521.225849377 1738.00353445 c 0
+ 527.877534153 1731.35137223 527.877534153 1731.35137223 533.617741307 1724.04056682 c 0
+ 539.357948462 1716.7297614 539.357948462 1716.7297614 544.207481245 1708.65391055 c 0
+ 549.057014029 1700.5780597 549.057014029 1700.5780597 552.764844573 1692.05055051 c 0
+ 564.219726562 1665.70385748 564.219726562 1665.70385748 564.219726562 1636.74023438 c 2
+ 564.219726562 -436.740234375 l 2
+ 564.219726562 -495.008680733 564.219726562 -495.008680733 521.225182787 -538.003224508 c 0
+ 507.658300589 -551.57057891 507.658300589 -551.57057891 491.595678193 -561.145395835 c 0
+ 475.533055797 -570.720212761 475.533055797 -570.720212761 457.267144636 -575.860106381 c 0
+ 439.001233476 -581 439.001233476 -581 419.959960938 -581 c 0
+ 391.253451691 -581 391.253451691 -581 364.896337999 -570.553783949 c 0
+ 338.539224308 -560.107567898 338.539224308 -560.107567898 317.777206298 -540.384302725 c 0
+ 296.387100388 -520.062746736 296.387100388 -520.062746736 284.933784569 -493.217738834 c 0
+ 273.48046875 -466.372730933 273.48046875 -466.372730933 273.48046875 -436.740234375 c 2
+ 273.48046875 1636.74023438 l 2
+1152.51953125 -436.740234375 m 2
+ 1151.74952957 -494.144209416 1151.74952957 -494.144209416 1111.90503919 -536.700040691 c 0
+ 1091.58360184 -558.091491525 1091.58360184 -558.091491525 1064.73824301 -569.545745762 c 0
+ 1037.89288418 -581 1037.89288418 -581 1008.25976562 -581 c 0
+ 979.553949558 -581 979.553949558 -581 953.196369328 -570.553430392 c 0
+ 926.838789099 -560.106860784 926.838789099 -560.106860784 906.080232746 -540.385507945 c 0
+ 861.780273438 -498.301459752 861.780273438 -498.301459752 861.780273438 -436.740234375 c 2
+ 861.780273438 1636.74023438 l 2
+ 861.780273438 1651.32239562 861.780273438 1651.32239562 864.624564811 1665.58641717 c 0
+ 867.468856184 1679.85043872 867.468856184 1679.85043872 873.10986998 1693.10818737 c 0
+ 878.772167602 1706.41519628 878.772167602 1706.41519628 887.133373164 1718.37257459 c 0
+ 895.494578727 1730.3299529 895.494578727 1730.3299529 906.078821663 1740.38509515 c 0
+ 948.831274571 1781 948.831274571 1781 1008.25976562 1781 c 0
+ 1038.00042276 1781 1038.00042276 1781 1064.62771862 1769.67040346 c 0
+ 1073.50484059 1765.89307777 1073.50484059 1765.89307777 1081.84644385 1760.86774412 c 0
+ 1090.18804712 1755.84241046 1090.18804712 1755.84241046 1097.70707391 1749.78666415 c 0
+ 1105.2261007 1743.73091784 1105.2261007 1743.73091784 1111.90386462 1736.70127707 c 0
+ 1116.65951952 1731.69555114 1116.65951952 1731.69555114 1120.93180299 1726.3118946 c 0
+ 1125.20408645 1720.92823807 1125.20408645 1720.92823807 1128.97353615 1715.18962916 c 0
+ 1132.74298584 1709.45102026 1132.74298584 1709.45102026 1135.97975475 1703.34407818 c 0
+ 1139.21652366 1697.2371361 1139.21652366 1697.2371361 1141.83366456 1690.90032844 c 0
+ 1145.36294721 1682.35569623 1145.36294721 1682.35569623 1147.74798058 1673.36655214 c 0
+ 1150.13301394 1664.37740804 1150.13301394 1664.37740804 1151.3262726 1655.19274645 c 0
+ 1152.51953125 1646.00808487 1152.51953125 1646.00808487 1152.51953125 1636.74023438 c 2
+ 1152.51953125 -436.740234375 l 2
+EndSplineSet
+EndChar
EndChars
EndSplineFont