glyphs for \<bind>, \<then>;

--- a/Admin/components/components.sha1	Fri Jan 01 11:07:07 2016 +0100
+++ b/Admin/components/components.sha1	Fri Jan 01 11:07:29 2016 +0100
@@ -38,6 +38,7 @@
 f5c63689a394b974ac0d365debda577c6fa31c07  isabelle_fonts-20151107.tar.gz
 812101680b75f7fa9ee8e138ea6314fa4824ea2d  isabelle_fonts-20151229.tar.gz
 2730e1475c7d655655882e75743e0b451725a274  isabelle_fonts-20151231.tar.gz
+1f004a6bf20088a7e8f1b3d4153aa85de6fc1091  isabelle_fonts-20160101.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz

--- a/Admin/components/main	Fri Jan 01 11:07:07 2016 +0100
+++ b/Admin/components/main	Fri Jan 01 11:07:29 2016 +0100
@@ -4,7 +4,7 @@
 e-1.8
 exec_process-1.0.3
 Haskabelle-2015
-isabelle_fonts-20151231
+isabelle_fonts-20160101
 jdk-8u66
 jedit_build-20151124
 jfreechart-1.0.14-1

--- a/etc/symbols	Fri Jan 01 11:07:07 2016 +0100
+++ b/etc/symbols	Fri Jan 01 11:07:29 2016 +0100
@@ -352,6 +352,8 @@
 \<dieresis>             code: 0x0000a8
 \<cedilla>              code: 0x0000b8
 \<hungarumlaut>         code: 0x0002dd
+\<bind>                 code: 0x00291c  abbrev: >>  abbrev: >>=
+\<then>                 code: 0x002aa2  abbrev: >>
 \<some>                 code: 0x0003f5
 \<hole>                 code: 0x002311
 \<newline>              code: 0x0023ce

--- a/lib/fonts/IsabelleText.sfd	Fri Jan 01 11:07:07 2016 +0100
+++ b/lib/fonts/IsabelleText.sfd	Fri Jan 01 11:07:29 2016 +0100
@@ -19,7 +19,7 @@
 OS2_WeightWidthSlopeOnly: 0
 OS2_UseTypoMetrics: 1
 CreationTime: 1050361371
-ModificationTime: 1451560358
+ModificationTime: 1451641237
 PfmFamily: 17
 TTFWeight: 400
 TTFWidth: 5
@@ -2241,11 +2241,11 @@
 DisplaySize: -96
 AntiAlias: 1
 FitToEm: 1
-WinInfo: 9522 18 16
+WinInfo: 10530 18 16
 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 1401
+BeginChars: 1114189 1403
 
 StartChar: u10000
 Encoding: 65536 65536 0
@@ -62329,5 +62329,103 @@
  1470.84 931.38 1470.84 931.38 1439.76 931.38 c 2,0,-1
 EndSplineSet
 EndChar
+
+StartChar: uni2AA2
+Encoding: 10914 10914 1401
+Width: 2147
+VWidth: 2195
+Flags: W
+HStem: -113.8 93.2402<120.553 162.47 670.553 712.47> 1080.56 93.2393<120.553 162.47 670.553 712.47>
+LayerCount: 2
+Fore
+SplineSet
+1984.53 481.16 m 2,0,-1
+ 754.65 -98.2598 l 2,1,2
+ 725.79 -113.8 725.79 -113.8 714.69 -113.8 c 0,3,4
+ 696.93 -113.8 696.93 -113.8 683.61 -100.48 c 128,-1,5
+ 670.29 -87.1602 670.29 -87.1602 670.29 -69.4004 c 0,6,7
+ 670.29 -42.7598 670.29 -42.7598 712.47 -20.5596 c 2,8,-1
+ 1877.97 530 l 1,9,-1
+ 712.47 1080.56 l 2,10,11
+ 670.29 1102.76 670.29 1102.76 670.29 1129.4 c 0,12,13
+ 670.29 1147.16 670.29 1147.16 683.61 1160.48 c 128,-1,14
+ 696.93 1173.8 696.93 1173.8 714.69 1173.8 c 0,15,16
+ 725.79 1173.8 725.79 1173.8 754.65 1158.26 c 2,17,-1
+ 1984.53 578.84 l 2,18,19
+ 2026.71 558.86 2026.71 558.86 2026.71 530 c 128,-1,20
+ 2026.71 501.14 2026.71 501.14 1984.53 481.16 c 2,0,-1
+1434.53 481.16 m 2,21,-1
+ 204.65 -98.2598 l 2,22,23
+ 175.79 -113.8 175.79 -113.8 164.69 -113.8 c 0,24,25
+ 146.93 -113.8 146.93 -113.8 133.61 -100.48 c 128,-1,26
+ 120.29 -87.1602 120.29 -87.1602 120.29 -69.4004 c 0,27,28
+ 120.29 -42.7598 120.29 -42.7598 162.47 -20.5596 c 2,29,-1
+ 1327.97 530 l 1,30,-1
+ 162.47 1080.56 l 2,31,32
+ 120.29 1102.76 120.29 1102.76 120.29 1129.4 c 0,33,34
+ 120.29 1147.16 120.29 1147.16 133.61 1160.48 c 128,-1,35
+ 146.93 1173.8 146.93 1173.8 164.69 1173.8 c 0,36,37
+ 175.79 1173.8 175.79 1173.8 204.65 1158.26 c 2,38,-1
+ 1434.53 578.84 l 2,39,40
+ 1476.71 558.86 1476.71 558.86 1476.71 530 c 128,-1,41
+ 1476.71 501.14 1476.71 501.14 1434.53 481.16 c 2,21,-1
+EndSplineSet
+EndChar
+
+StartChar: uni291C
+Encoding: 10524 10524 1402
+Width: 3300
+VWidth: 2195
+Flags: W
+HStem: -113.8 93.2402<120.553 162.47 670.553 712.47> 270.26 88.7998<1700.37 3176.63> 700.94 88.7998<1700.37 3176.63> 1080.56 93.2393<120.553 162.47 670.553 712.47>
+LayerCount: 2
+Fore
+SplineSet
+1984.53 481.16 m 6,0,-1
+ 754.65 -98.2598 l 6,1,2
+ 725.79 -113.8 725.79 -113.8 714.69 -113.8 c 4,3,4
+ 696.93 -113.8 696.93 -113.8 683.61 -100.48 c 132,-1,5
+ 670.29 -87.1602 670.29 -87.1602 670.29 -69.4004 c 4,6,7
+ 670.29 -42.7598 670.29 -42.7598 712.47 -20.5596 c 6,8,-1
+ 1877.97 530 l 5,9,-1
+ 712.47 1080.56 l 6,10,11
+ 670.29 1102.76 670.29 1102.76 670.29 1129.4 c 4,12,13
+ 670.29 1147.16 670.29 1147.16 683.61 1160.48 c 132,-1,14
+ 696.93 1173.8 696.93 1173.8 714.69 1173.8 c 4,15,16
+ 725.79 1173.8 725.79 1173.8 754.65 1158.26 c 6,17,-1
+ 1984.53 578.84 l 6,18,19
+ 2026.71 558.86 2026.71 558.86 2026.71 530 c 132,-1,20
+ 2026.71 501.14 2026.71 501.14 1984.53 481.16 c 6,0,-1
+1434.53 481.16 m 6,21,-1
+ 204.65 -98.2598 l 6,22,23
+ 175.79 -113.8 175.79 -113.8 164.69 -113.8 c 4,24,25
+ 146.93 -113.8 146.93 -113.8 133.61 -100.48 c 132,-1,26
+ 120.29 -87.1602 120.29 -87.1602 120.29 -69.4004 c 4,27,28
+ 120.29 -42.7598 120.29 -42.7598 162.47 -20.5596 c 6,29,-1
+ 1327.97 530 l 5,30,-1
+ 162.47 1080.56 l 6,31,32
+ 120.29 1102.76 120.29 1102.76 120.29 1129.4 c 4,33,34
+ 120.29 1147.16 120.29 1147.16 133.61 1160.48 c 132,-1,35
+ 146.93 1173.8 146.93 1173.8 164.69 1173.8 c 4,36,37
+ 175.79 1173.8 175.79 1173.8 204.65 1158.26 c 6,38,-1
+ 1434.53 578.84 l 6,39,40
+ 1476.71 558.86 1476.71 558.86 1476.71 530 c 132,-1,41
+ 1476.71 501.14 1476.71 501.14 1434.53 481.16 c 6,21,-1
+3101.17 700.94 m 2,42,-1
+ 1775.83 700.94 l 2,43,44
+ 1700.35 700.94 1700.35 700.94 1700.35 745.34 c 128,-1,45
+ 1700.35 789.74 1700.35 789.74 1773.61 789.74 c 2,46,-1
+ 3103.39 789.74 l 2,47,48
+ 3176.65 789.74 3176.65 789.74 3176.65 745.34 c 128,-1,49
+ 3176.65 700.94 3176.65 700.94 3101.17 700.94 c 2,42,-1
+3103.39 270.26 m 2,50,-1
+ 1773.61 270.26 l 2,51,52
+ 1700.35 270.26 1700.35 270.26 1700.35 314.66 c 128,-1,53
+ 1700.35 359.06 1700.35 359.06 1775.83 359.06 c 2,54,-1
+ 3101.17 359.06 l 2,55,56
+ 3176.65 359.06 3176.65 359.06 3176.65 314.66 c 128,-1,57
+ 3176.65 270.26 3176.65 270.26 3103.39 270.26 c 2,50,-1
+EndSplineSet
+EndChar
 EndChars
 EndSplineFont

--- a/lib/fonts/IsabelleTextBold.sfd	Fri Jan 01 11:07:07 2016 +0100
+++ b/lib/fonts/IsabelleTextBold.sfd	Fri Jan 01 11:07:29 2016 +0100
@@ -20,7 +20,7 @@
 OS2_WeightWidthSlopeOnly: 0
 OS2_UseTypoMetrics: 1
 CreationTime: 1050374980
-ModificationTime: 1451560406
+ModificationTime: 1451642110
 PfmFamily: 17
 TTFWeight: 700
 TTFWidth: 5
@@ -1678,10 +1678,10 @@
 DisplaySize: -96
 AntiAlias: 1
 FitToEm: 1
-WinInfo: 9534 21 15
+WinInfo: 10773 21 15
 BeginPrivate: 0
 EndPrivate
-BeginChars: 1114115 1393
+BeginChars: 1114115 1395
 
 StartChar: .notdef
 Encoding: 1114112 -1 0
@@ -55576,25 +55576,25 @@
 LayerCount: 2
 Fore
 SplineSet
-1670.89 702.805 m 1
- 963.173 -7.12217 l 2
- 934.885 -35.4102 934.885 -35.4102 896 -35.4102 c 0
- 854.775 -35.4102 854.775 -35.4102 827.289 -5.58369 c 1
- 116.237 705.468 l 2
- 90.2002 731.504 90.2002 731.504 90.2002 772.61 c 0
- 90.2002 804.494 90.2002 804.494 110.799 833.333 c 2
- 113.276 836.8 l 1
- 827.343 1548.64 l 1
- 854.776 1578.41 854.776 1578.41 896 1578.41 c 0
- 934.887 1578.41 934.887 1578.41 963.143 1550.15 c 2
- 1673.54 839.752 l 2
- 1701.8 811.491 1701.8 811.491 1701.8 772.61 c 0
- 1701.8 727.959 1701.8 727.959 1670.89 702.805 c 1
-319.885 772.61 m 1
- 896 196.495 l 1
- 1472.12 772.61 l 1
- 896 1348.72 l 1
- 319.885 772.61 l 1
+1670.89 702.805 m 1,0,-1
+ 963.173 -7.12217 l 2,1,2
+ 934.885 -35.4102 934.885 -35.4102 896 -35.4102 c 0,3,4
+ 854.775 -35.4102 854.775 -35.4102 827.289 -5.58369 c 1,5,-1
+ 116.237 705.468 l 2,6,7
+ 90.2002 731.504 90.2002 731.504 90.2002 772.61 c 0,8,9
+ 90.2002 804.494 90.2002 804.494 110.799 833.333 c 2,10,-1
+ 113.276 836.8 l 1,11,-1
+ 827.343 1548.64 l 1,12,13
+ 854.776 1578.41 854.776 1578.41 896 1578.41 c 0,14,15
+ 934.887 1578.41 934.887 1578.41 963.143 1550.15 c 2,16,-1
+ 1673.54 839.752 l 2,17,18
+ 1701.8 811.491 1701.8 811.491 1701.8 772.61 c 0,19,20
+ 1701.8 727.959 1701.8 727.959 1670.89 702.805 c 1,0,-1
+319.885 772.61 m 1,21,-1
+ 896 196.495 l 1,22,-1
+ 1472.12 772.61 l 1,23,-1
+ 896 1348.72 l 1,24,-1
+ 319.885 772.61 l 1,21,-1
 EndSplineSet
 EndChar
 
@@ -68647,5 +68647,163 @@
  1451.94 906.38 1451.94 906.38 1439.76 906.38 c 2,0,-1
 EndSplineSet
 EndChar
+
+StartChar: uni2AA2
+Encoding: 10914 10914 1393
+Width: 2147
+VWidth: 2195
+Flags: W
+HStem: -164.8 189.884<85.8074 139.691 635.807 689.691> 1034.92 189.883<85.8077 139.692 635.808 689.692>
+LayerCount: 2
+Fore
+SplineSet
+2006.29 435.035 m 2,0,-1
+ 777.589 -143.83 l 2,1,2
+ 776.291 -144.526 776.291 -144.526 769.161 -148.392 c 128,-1,3
+ 762.031 -152.259 762.031 -152.259 760.355 -153.054 c 128,-1,4
+ 758.679 -153.85 758.679 -153.85 752.787 -156.666 c 128,-1,5
+ 746.894 -159.481 746.894 -159.481 743.904 -160.235 c 128,-1,6
+ 740.914 -160.989 740.914 -160.989 735.6 -162.468 c 128,-1,7
+ 730.286 -163.946 730.286 -163.946 725.324 -164.373 c 128,-1,8
+ 720.362 -164.8 720.362 -164.8 714.69 -164.8 c 0,9,10
+ 675.804 -164.8 675.804 -164.8 647.548 -136.543 c 128,-1,11
+ 619.29 -108.284 619.29 -108.284 619.29 -69.4004 c 0,12,13
+ 619.29 -11.9708 619.29 -11.9708 689.691 25.0839 c 1,14,-1
+ 1758.57 530 l 1,15,-1
+ 689.692 1034.92 l 1,16,17
+ 619.29 1071.96 619.29 1071.96 619.29 1129.4 c 0,18,19
+ 619.29 1168.28 619.29 1168.28 647.548 1196.54 c 128,-1,20
+ 675.802 1224.8 675.802 1224.8 714.69 1224.8 c 0,21,22
+ 720.278 1224.8 720.278 1224.8 725.337 1224.32 c 128,-1,23
+ 730.396 1223.84 730.396 1223.84 735.963 1222.21 c 128,-1,24
+ 741.53 1220.59 741.53 1220.59 744.551 1219.83 c 128,-1,25
+ 747.571 1219.07 747.571 1219.07 753.798 1216.08 c 128,-1,26
+ 760.025 1213.09 760.025 1213.09 761.374 1212.49 c 128,-1,27
+ 762.723 1211.88 762.723 1211.88 769.976 1207.95 c 128,-1,28
+ 777.229 1204.02 777.229 1204.02 777.587 1203.83 c 2,29,-1
+ 2006.3 624.96 l 2,30,31
+ 2077.71 591.131 2077.71 591.131 2077.71 530 c 128,-1,32
+ 2077.71 468.866 2077.71 468.866 2006.29 435.035 c 2,0,-1
+1456.29 435.035 m 2,33,-1
+ 227.589 -143.829 l 2,34,35
+ 226.286 -144.525 226.286 -144.525 219.161 -148.392 c 128,-1,36
+ 212.035 -152.259 212.035 -152.259 210.356 -153.055 c 128,-1,37
+ 208.676 -153.85 208.676 -153.85 202.786 -156.666 c 128,-1,38
+ 196.896 -159.482 196.896 -159.482 193.905 -160.235 c 128,-1,39
+ 190.913 -160.989 190.913 -160.989 185.6 -162.468 c 128,-1,40
+ 180.287 -163.946 180.287 -163.946 175.325 -164.373 c 128,-1,41
+ 170.362 -164.8 170.362 -164.8 164.69 -164.8 c 0,42,43
+ 125.805 -164.8 125.805 -164.8 97.5479 -136.543 c 128,-1,44
+ 69.29 -108.285 69.29 -108.285 69.29 -69.4004 c 0,45,46
+ 69.29 -11.9695 69.29 -11.9695 139.691 25.084 c 1,47,-1
+ 1208.57 530 l 1,48,-1
+ 139.692 1034.92 l 1,49,50
+ 69.29 1071.97 69.29 1071.97 69.29 1129.4 c 0,51,52
+ 69.29 1168.28 69.29 1168.28 97.5479 1196.54 c 128,-1,53
+ 125.803 1224.8 125.803 1224.8 164.69 1224.8 c 0,54,55
+ 170.278 1224.8 170.278 1224.8 175.336 1224.32 c 128,-1,56
+ 180.393 1223.84 180.393 1223.84 185.965 1222.21 c 128,-1,57
+ 191.536 1220.58 191.536 1220.58 194.549 1219.83 c 128,-1,58
+ 197.561 1219.08 197.561 1219.08 203.799 1216.08 c 128,-1,59
+ 210.038 1213.08 210.038 1213.08 211.372 1212.49 c 128,-1,60
+ 212.706 1211.89 212.706 1211.89 219.978 1207.95 c 128,-1,61
+ 227.249 1204.01 227.249 1204.01 227.588 1203.83 c 2,62,-1
+ 1456.3 624.96 l 2,63,64
+ 1527.71 591.131 1527.71 591.131 1527.71 530 c 128,-1,65
+ 1527.71 468.866 1527.71 468.866 1456.29 435.035 c 2,33,-1
+EndSplineSet
+EndChar
+
+StartChar: uni291C
+Encoding: 10524 10524 1394
+Width: 3300
+VWidth: 2195
+Flags: W
+HStem: -164.8 189.884<85.8074 139.691 635.807 689.691> 219.26 190.8<1953.28 3211.73> 649.94 190.8<1953.28 3211.74> 1034.92 189.883<85.8077 139.692 635.808 689.692>
+LayerCount: 2
+Fore
+SplineSet
+3103.39 219.26 m 2,0,-1
+ 1773.61 219.26 l 2,1,2
+ 1743.61 219.26 1743.61 219.26 1717.27 227.206 c 128,-1,3
+ 1690.92 235.152 1690.92 235.152 1670.13 257.744 c 0,4,5
+ 1664.11 264.287 1664.11 264.287 1659.84 271.815 c 1,6,-1
+ 777.589 -143.83 l 2,7,8
+ 776.291 -144.526 776.291 -144.526 769.161 -148.392 c 128,-1,9
+ 762.031 -152.259 762.031 -152.259 760.355 -153.054 c 128,-1,10
+ 758.679 -153.85 758.679 -153.85 752.787 -156.666 c 128,-1,11
+ 746.894 -159.481 746.894 -159.481 743.904 -160.235 c 128,-1,12
+ 740.914 -160.989 740.914 -160.989 735.6 -162.468 c 128,-1,13
+ 730.286 -163.946 730.286 -163.946 725.324 -164.373 c 128,-1,14
+ 720.362 -164.8 720.362 -164.8 714.69 -164.8 c 0,15,16
+ 675.804 -164.8 675.804 -164.8 647.548 -136.543 c 128,-1,17
+ 619.29 -108.284 619.29 -108.284 619.29 -69.4004 c 0,18,19
+ 619.29 -11.9708 619.29 -11.9708 689.691 25.0839 c 1,20,-1
+ 1758.57 530 l 1,21,-1
+ 689.692 1034.92 l 1,22,23
+ 619.29 1071.96 619.29 1071.96 619.29 1129.4 c 0,24,25
+ 619.29 1168.28 619.29 1168.28 647.548 1196.54 c 128,-1,26
+ 675.802 1224.8 675.802 1224.8 714.69 1224.8 c 0,27,28
+ 720.278 1224.8 720.278 1224.8 725.337 1224.32 c 128,-1,29
+ 730.396 1223.84 730.396 1223.84 735.963 1222.21 c 128,-1,30
+ 741.53 1220.59 741.53 1220.59 744.551 1219.83 c 128,-1,31
+ 747.571 1219.07 747.571 1219.07 753.798 1216.08 c 128,-1,32
+ 760.025 1213.09 760.025 1213.09 761.374 1212.49 c 128,-1,33
+ 762.723 1211.88 762.723 1211.88 769.976 1207.95 c 128,-1,34
+ 777.229 1204.02 777.229 1204.02 777.587 1203.83 c 2,35,-1
+ 1659.94 788.138 l 1,36,37
+ 1664.19 795.555 1664.19 795.555 1670.14 802.028 c 0,38,39
+ 1690.94 824.626 1690.94 824.626 1717.36 832.683 c 128,-1,40
+ 1743.79 840.74 1743.79 840.74 1773.61 840.74 c 2,41,-1
+ 3103.39 840.74 l 2,42,43
+ 3133.39 840.74 3133.39 840.74 3159.73 832.794 c 128,-1,44
+ 3186.08 824.848 3186.08 824.848 3206.87 802.256 c 128,-1,45
+ 3227.65 779.664 3227.65 779.664 3227.65 745.34 c 0,46,47
+ 3227.65 718.989 3227.65 718.989 3215.71 699.433 c 128,-1,48
+ 3203.77 679.878 3203.77 679.878 3184.15 669.639 c 128,-1,49
+ 3164.52 659.4 3164.52 659.4 3143.79 654.67 c 128,-1,50
+ 3123.05 649.94 3123.05 649.94 3101.17 649.94 c 2,51,-1
+ 1953.28 649.94 l 1,52,-1
+ 2006.3 624.96 l 2,53,54
+ 2077.71 591.131 2077.71 591.131 2077.71 530 c 128,-1,55
+ 2077.71 468.866 2077.71 468.866 2006.29 435.035 c 2,56,-1
+ 1953.28 410.06 l 1,57,-1
+ 3101.17 410.06 l 2,58,59
+ 3123.23 410.06 3123.23 410.06 3143.91 405.423 c 128,-1,60
+ 3164.58 400.787 3164.58 400.787 3184.23 390.618 c 128,-1,61
+ 3203.87 380.449 3203.87 380.449 3215.76 360.852 c 128,-1,62
+ 3227.65 341.254 3227.65 341.254 3227.65 314.66 c 0,63,64
+ 3227.65 280.57 3227.65 280.57 3206.85 257.972 c 128,-1,65
+ 3186.06 235.374 3186.06 235.374 3159.64 227.317 c 128,-1,66
+ 3133.21 219.26 3133.21 219.26 3103.39 219.26 c 2,0,-1
+1456.29 435.035 m 2,67,-1
+ 227.589 -143.829 l 2,68,69
+ 226.286 -144.525 226.286 -144.525 219.161 -148.392 c 128,-1,70
+ 212.035 -152.259 212.035 -152.259 210.356 -153.055 c 128,-1,71
+ 208.676 -153.85 208.676 -153.85 202.786 -156.666 c 128,-1,72
+ 196.896 -159.482 196.896 -159.482 193.905 -160.235 c 128,-1,73
+ 190.913 -160.989 190.913 -160.989 185.6 -162.468 c 128,-1,74
+ 180.287 -163.946 180.287 -163.946 175.325 -164.373 c 128,-1,75
+ 170.362 -164.8 170.362 -164.8 164.69 -164.8 c 0,76,77
+ 125.805 -164.8 125.805 -164.8 97.5479 -136.543 c 128,-1,78
+ 69.29 -108.285 69.29 -108.285 69.29 -69.4004 c 0,79,80
+ 69.29 -11.9695 69.29 -11.9695 139.691 25.084 c 1,81,-1
+ 1208.57 530 l 1,82,-1
+ 139.692 1034.92 l 1,83,84
+ 69.29 1071.97 69.29 1071.97 69.29 1129.4 c 0,85,86
+ 69.29 1168.28 69.29 1168.28 97.5479 1196.54 c 128,-1,87
+ 125.803 1224.8 125.803 1224.8 164.69 1224.8 c 0,88,89
+ 170.278 1224.8 170.278 1224.8 175.336 1224.32 c 128,-1,90
+ 180.393 1223.84 180.393 1223.84 185.965 1222.21 c 128,-1,91
+ 191.536 1220.58 191.536 1220.58 194.549 1219.83 c 128,-1,92
+ 197.561 1219.08 197.561 1219.08 203.799 1216.08 c 128,-1,93
+ 210.038 1213.08 210.038 1213.08 211.372 1212.49 c 128,-1,94
+ 212.706 1211.89 212.706 1211.89 219.978 1207.95 c 128,-1,95
+ 227.249 1204.01 227.249 1204.01 227.588 1203.83 c 2,96,-1
+ 1456.3 624.96 l 2,97,98
+ 1527.71 591.131 1527.71 591.131 1527.71 530 c 128,-1,99
+ 1527.71 468.866 1527.71 468.866 1456.29 435.035 c 2,67,-1
+EndSplineSet
+EndChar
 EndChars
 EndSplineFont