some icons from Symbola font;

--- a/Admin/components/components.sha1	Fri Aug 12 15:25:25 2016 +0200
+++ b/Admin/components/components.sha1	Fri Aug 12 16:49:29 2016 +0200
@@ -46,6 +46,7 @@
 1f004a6bf20088a7e8f1b3d4153aa85de6fc1091  isabelle_fonts-20160101.tar.gz
 379d51ef3b71452dac34ba905def3daa8b590f2e  isabelle_fonts-20160102.tar.gz
 878536aab1eaf1a52da560c20bb41ab942971fa3  isabelle_fonts-20160227.tar.gz
+9283e3b0b4c7239f57b18e076ec8bb21021832cb  isabelle_fonts-20160812.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz

--- a/Admin/components/main	Fri Aug 12 15:25:25 2016 +0200
+++ b/Admin/components/main	Fri Aug 12 16:49:29 2016 +0200
@@ -4,7 +4,7 @@
 cvc4-1.5pre-3
 e-1.8
 Haskabelle-2015
-isabelle_fonts-20160227
+isabelle_fonts-20160812
 jdk-8u102
 jedit_build-20160330
 jfreechart-1.0.14-1

--- a/etc/symbols	Fri Aug 12 15:25:25 2016 +0200
+++ b/etc/symbols	Fri Aug 12 16:49:29 2016 +0200
@@ -381,3 +381,7 @@
 \<^esub>                code: 0x0021d9  group: control_block  font: IsabelleText  abbrev: =_)
 \<^bsup>                code: 0x0021d7  group: control_block  font: IsabelleText  abbrev: =^(
 \<^esup>                code: 0x0021d6  group: control_block  font: IsabelleText  abbrev: =^)
+\<^file>                code: 0x01F5CF  group: icon  font: IsabelleText
+\<^dir>                 code: 0x01F5C0  group: icon  font: IsabelleText
+\<^url>                 code: 0x01F310  group: icon  font: IsabelleText
+\<^doc>                 code: 0x01F4D3  group: icon  font: IsabelleText

--- a/lib/fonts/IsabelleText.sfd	Fri Aug 12 15:25:25 2016 +0200
+++ b/lib/fonts/IsabelleText.sfd	Fri Aug 12 16:49:29 2016 +0200
@@ -19,7 +19,7 @@
 OS2_WeightWidthSlopeOnly: 0
 OS2_UseTypoMetrics: 1
 CreationTime: 1050361371
-ModificationTime: 1456601690
+ModificationTime: 1471012141
 PfmFamily: 17
 TTFWeight: 400
 TTFWidth: 5
@@ -2241,11 +2241,11 @@
 DisplaySize: -96
 AntiAlias: 1
 FitToEm: 1
-WinInfo: 9504 18 16
+WinInfo: 128340 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 1404
+BeginChars: 1114189 1408
 
 StartChar: u10000
 Encoding: 65536 65536 0
@@ -31234,24 +31234,24 @@
  1656 -203 1656 -203 1739.5 -116.5 c 128,-1,30
  1823 -30 1823 -30 1881 73.5 c 128,-1,31
  1939 177 1939 177 1972 301 c 128,-1,32
- 2005 425 2005 425 2005 555 c 0,33,34
- 2005 685 2005 685 1972.5 808 c 128,-1,35
- 1940 931 1940 931 1882 1034.5 c 128,-1,36
- 1824 1138 1824 1138 1741.5 1225 c 128,-1,37
- 1659 1312 1659 1312 1560.5 1372.5 c 128,-1,38
- 1462 1433 1462 1433 1346 1467 c 128,-1,39
- 1230 1501 1230 1501 1108 1501 c 0,40,41
- 988 1501 988 1501 873 1467.5 c 128,-1,42
- 758 1434 758 1434 659.5 1373.5 c 128,-1,43
- 561 1313 561 1313 478 1226.5 c 128,-1,44
- 395 1140 395 1140 336.5 1036.5 c 128,-1,45
- 278 933 278 933 245.5 809 c 128,-1,46
- 213 685 213 685 213 555 c 0,47,48
- 213 425 213 425 245.5 302 c 128,-1,49
- 278 179 278 179 335.5 75.5 c 128,-1,50
- 393 -28 393 -28 476 -115 c 128,-1,51
- 559 -202 559 -202 657.5 -262.5 c 128,-1,52
- 756 -323 756 -323 872 -357 c 128,-1,53
+ 2005 425 2005 425 2005 555 c 128,-1,33
+ 2005 685 2005 685 1972.5 808 c 128,-1,34
+ 1940 931 1940 931 1882 1034.5 c 128,-1,35
+ 1824 1138 1824 1138 1741.5 1225 c 128,-1,36
+ 1659 1312 1659 1312 1560.5 1372.5 c 128,-1,37
+ 1462 1433 1462 1433 1346 1467 c 128,-1,38
+ 1230 1501 1230 1501 1108 1501 c 0,39,40
+ 988 1501 988 1501 873 1467.5 c 128,-1,41
+ 758 1434 758 1434 659.5 1373.5 c 128,-1,42
+ 561 1313 561 1313 478 1226.5 c 128,-1,43
+ 395 1140 395 1140 336.5 1036.5 c 128,-1,44
+ 278 933 278 933 245.5 809 c 128,-1,45
+ 213 685 213 685 213 555 c 128,-1,46
+ 213 425 213 425 245.5 302 c 128,-1,47
+ 278 179 278 179 335.5 75.5 c 128,-1,48
+ 393 -28 393 -28 476 -115 c 128,-1,49
+ 559 -202 559 -202 657.5 -262.5 c 128,-1,50
+ 756 -323 756 -323 872 -357 c 128,-1,51
  988 -391 988 -391 1110 -391 c 0,26,27
 EndSplineSet
 Validated: 1
@@ -62473,5 +62473,279 @@
  724 -129 724 -129 864 -129 c 0,20,21
 EndSplineSet
 EndChar
+
+StartChar: u1F5CF
+Encoding: 128463 128463 1404
+Width: 1316
+VWidth: 1663
+Flags: W
+HStem: 97.7197 92<268.881 1047.12> 250.6 92<342.359 973.641> 438.76 92<342.359 973.641> 626.92 92<342.359 973.641> 815.08 92<342.359 973.641> 1003.24 92<342.359 973.641> 1191.4 92<342.359 973.641> 1344.28 92<268.881 1047.12>
+VStem: 176.881 92<189.72 1344.28> 342.359 631.281<250.6 342.6 438.76 530.76 626.92 718.92 815.08 907.08 1003.24 1095.24 1191.4 1283.4> 1047.12 92<189.72 1344.28>
+CounterMasks: 1 00e0
+LayerCount: 2
+Fore
+SplineSet
+1139.12 97.7197 m 1,0,-1
+ 176.881 97.7197 l 1,1,-1
+ 176.881 1436.28 l 1,2,-1
+ 1139.12 1436.28 l 1,3,-1
+ 1139.12 97.7197 l 1,0,-1
+1047.12 189.72 m 1,4,-1
+ 1047.12 1344.28 l 1,5,-1
+ 268.881 1344.28 l 1,6,-1
+ 268.881 189.72 l 1,7,-1
+ 1047.12 189.72 l 1,4,-1
+973.641 1191.4 m 1,8,-1
+ 342.359 1191.4 l 1,9,-1
+ 342.359 1283.4 l 1,10,-1
+ 973.641 1283.4 l 1,11,-1
+ 973.641 1191.4 l 1,8,-1
+973.641 1003.24 m 1,12,-1
+ 342.359 1003.24 l 1,13,-1
+ 342.359 1095.24 l 1,14,-1
+ 973.641 1095.24 l 1,15,-1
+ 973.641 1003.24 l 1,12,-1
+973.641 815.08 m 1,16,-1
+ 342.359 815.08 l 1,17,-1
+ 342.359 907.08 l 1,18,-1
+ 973.641 907.08 l 1,19,-1
+ 973.641 815.08 l 1,16,-1
+973.641 626.92 m 1,20,-1
+ 342.359 626.92 l 1,21,-1
+ 342.359 718.92 l 1,22,-1
+ 973.641 718.92 l 1,23,-1
+ 973.641 626.92 l 1,20,-1
+973.641 438.76 m 1,24,-1
+ 342.359 438.76 l 1,25,-1
+ 342.359 530.76 l 1,26,-1
+ 973.641 530.76 l 1,27,-1
+ 973.641 438.76 l 1,24,-1
+973.641 250.6 m 1,28,-1
+ 342.359 250.6 l 1,29,-1
+ 342.359 342.6 l 1,30,-1
+ 973.641 342.6 l 1,31,-1
+ 973.641 250.6 l 1,28,-1
+EndSplineSet
+EndChar
+
+StartChar: u1F4D3
+Encoding: 128211 128211 1405
+Width: 1064
+VWidth: 1762
+Flags: W
+HStem: 70.75 113.7<258.8 847.9> 751.15 78<409.3 704.4> 1004.55 78<409.3 704.4> 1148.05 112.3<552.118 720.5 832.1 847.9>
+VStem: 102.4 156.399<184.45 1148.05> 328.5 80.7998<829.15 1004.55> 704.4 80.7998<829.15 1004.55> 720.5 111.6<1260.35 1305.05> 847.9 113.699<184.45 1148.05>
+LayerCount: 2
+Fore
+SplineSet
+961.6 131.45 m 2,0,1
+ 961.6 113.078 961.6 113.078 941.787 92.194 c 0,2,3
+ 921.444 70.75 921.444 70.75 902.3 70.75 c 2,4,-1
+ 154.7 70.75 l 2,5,6
+ 149.31 70.75 149.31 70.75 144.938 71.698 c 128,-1,7
+ 140.566 72.6461 140.566 72.6461 136.496 75.4084 c 128,-1,8
+ 132.426 78.1707 132.426 78.1707 130.859 79.2896 c 128,-1,9
+ 129.293 80.4084 129.293 80.4084 125.173 84.775 c 128,-1,10
+ 121.053 89.1416 121.053 89.1416 120.921 89.2733 c 0,11,12
+ 120.071 90.1241 120.071 90.1241 117.082 92.9509 c 128,-1,13
+ 114.093 95.7776 114.093 95.7776 112.733 97.203 c 128,-1,14
+ 111.374 98.6284 111.374 98.6284 108.988 101.775 c 128,-1,15
+ 106.602 104.921 106.602 104.921 105.459 107.628 c 128,-1,16
+ 104.317 110.334 104.317 110.334 103.359 114.426 c 128,-1,17
+ 102.4 118.517 102.4 118.517 102.4 123.05 c 2,18,-1
+ 102.4 1202.45 l 2,19,20
+ 102.4 1234.63 102.4 1234.63 130.589 1257.6 c 0,21,22
+ 136.172 1262.06 136.172 1262.06 149.627 1267.2 c 128,-1,23
+ 163.083 1272.33 163.083 1272.33 192.782 1280.66 c 128,-1,24
+ 222.482 1288.98 222.482 1288.98 250.492 1296.33 c 128,-1,25
+ 278.501 1303.67 278.501 1303.67 336.958 1318.88 c 128,-1,26
+ 395.414 1334.08 395.414 1334.08 442.617 1346.66 c 0,27,28
+ 741.511 1426.25 741.511 1426.25 765.1 1426.25 c 0,29,30
+ 804.524 1426.25 804.524 1426.25 821.67 1403.62 c 0,31,32
+ 832.1 1389.85 832.1 1389.85 832.1 1370.45 c 2,33,-1
+ 832.1 1259.65 l 1,34,-1
+ 919.1 1259.65 l 2,35,36
+ 938.501 1259.65 938.501 1259.65 951.807 1238.52 c 0,37,38
+ 961.6 1222.96 961.6 1222.96 961.6 1210.15 c 2,39,-1
+ 961.6 131.45 l 2,0,1
+720.5 1260.35 m 1,40,-1
+ 720.5 1305.05 l 1,41,-1
+ 552.118 1260.35 l 1,42,-1
+ 720.5 1260.35 l 1,40,-1
+847.9 184.45 m 1,43,-1
+ 847.9 1148.05 l 1,44,-1
+ 258.8 1148.05 l 1,45,-1
+ 258.8 184.45 l 1,46,-1
+ 847.9 184.45 l 1,43,-1
+785.2 751.15 m 1,47,-1
+ 328.5 751.15 l 1,48,-1
+ 328.5 1082.55 l 1,49,-1
+ 785.2 1082.55 l 1,50,-1
+ 785.2 751.15 l 1,47,-1
+704.4 829.15 m 1,51,-1
+ 704.4 1004.55 l 1,52,-1
+ 409.3 1004.55 l 1,53,-1
+ 409.3 829.15 l 1,54,-1
+ 704.4 829.15 l 1,51,-1
+EndSplineSet
+EndChar
+
+StartChar: u1F310
+Encoding: 127760 127760 1406
+Width: 1688
+VWidth: 1788
+Flags: W
+HStem: 20.2002 91.7907<761.056 798 889.3 926.891> 425.087 91.63<626.537 798 889.3 1061.42> 716 91.2998<194.002 451.735 539.764 798 889.3 1148.24 1236.27 1494> 1007.28 91.6301<626.532 798 889.3 1061.42> 1412.01 91.7906<761.105 798 889.3 926.94>
+VStem: 102.2 91.8017<519.669 716 807.3 1004.44> 448.309 91.4551<486.943 716 807.3 1037.01> 798 91.2998<111.991 425.087 511.895 716 807.3 1012.11 1098.91 1412.01> 1148.24 91.455<486.937 716 807.3 1036.95> 1494 91.7974<519.351 716 807.3 1004.11>
+LayerCount: 2
+Fore
+SplineSet
+1585.8 762 m 128,-1,1
+ 1585.8 454.831 1585.8 454.831 1368.48 237.523 c 128,-1,2
+ 1151.14 20.2002 1151.14 20.2002 844 20.2002 c 128,-1,3
+ 536.84 20.2002 536.84 20.2002 319.523 237.523 c 128,-1,4
+ 102.2 454.85 102.2 454.85 102.2 762 c 128,-1,5
+ 102.2 1069.14 102.2 1069.14 319.523 1286.48 c 128,-1,6
+ 536.826 1503.8 536.826 1503.8 844 1503.8 c 128,-1,7
+ 1151.16 1503.8 1151.16 1503.8 1368.48 1286.48 c 128,-1,0
+ 1585.8 1069.16 1585.8 1069.16 1585.8 762 c 128,-1,1
+1262.08 1260.78 m 1,8,9
+ 1167.74 1340.05 1167.74 1340.05 1053.44 1378.52 c 1,10,11
+ 1107.7 1285.5 1107.7 1285.5 1148.82 1184.39 c 1,12,13
+ 1209.39 1218.15 1209.39 1218.15 1262.08 1260.78 c 1,8,9
+1494 807.3 m 1,14,15
+ 1479.42 1030.47 1479.42 1030.47 1328.63 1197.13 c 1,16,17
+ 1261.15 1140.95 1261.15 1140.95 1181.23 1098.32 c 1,18,19
+ 1232.11 945.833 1232.11 945.833 1239.7 807.3 c 1,20,-1
+ 1494 807.3 l 1,14,15
+1066.08 1144.97 m 1,21,22
+ 1009.85 1286.26 1009.85 1286.26 927.548 1408.03 c 1,23,24
+ 908.07 1410.67 908.07 1410.67 889.3 1412.04 c 1,25,-1
+ 889.3 1098.9 l 1,26,27
+ 975.008 1107.19 975.008 1107.19 1066.08 1144.97 c 1,21,22
+798 1098.91 m 1,28,-1
+ 798 1412.01 l 1,29,30
+ 779.771 1410.65 779.771 1410.65 760.503 1408.04 c 1,31,32
+ 678.789 1286.3 678.789 1286.3 621.993 1144.94 c 1,33,34
+ 712.892 1107.2 712.892 1107.2 798 1098.91 c 1,28,-1
+1148.24 807.3 m 1,35,36
+ 1140.79 926.069 1140.79 926.069 1097.73 1058.8 c 1,37,38
+ 991.801 1015.61 991.801 1015.61 889.3 1007.27 c 1,39,-1
+ 889.3 807.3 l 1,40,-1
+ 1148.24 807.3 l 1,35,36
+1494 716 m 1,41,-1
+ 1239.69 716 l 1,42,43
+ 1232.09 578.093 1232.09 578.093 1181.2 425.582 c 1,44,45
+ 1261.15 382.472 1261.15 382.472 1328.59 326.768 c 1,46,47
+ 1479.43 492.879 1479.43 492.879 1494 716 c 1,41,-1
+634.728 1378.57 m 1,48,49
+ 520.263 1340.05 520.263 1340.05 425.925 1260.78 c 1,50,51
+ 478.599 1218.16 478.599 1218.16 539.218 1184.36 c 1,52,53
+ 580.313 1285.02 580.313 1285.02 634.728 1378.57 c 1,48,49
+798 807.3 m 1,54,-1
+ 798 1007.28 l 1,55,56
+ 696.095 1015.61 696.095 1015.61 590.27 1058.8 c 1,57,58
+ 547.2 926.041 547.2 926.041 539.757 807.3 c 1,59,-1
+ 798 807.3 l 1,54,-1
+1148.24 716 m 1,60,-1
+ 889.3 716 l 1,61,-1
+ 889.3 516.727 l 1,62,63
+ 991.801 508.391 991.801 508.391 1097.73 465.201 c 1,64,65
+ 1140.78 597.834 1140.78 597.834 1148.24 716 c 1,60,-1
+1262.08 263.218 m 1,66,67
+ 1209.39 305.845 1209.39 305.845 1148.78 339.635 c 1,68,69
+ 1107.69 239.016 1107.69 239.016 1053.27 145.428 c 1,70,71
+ 1167.73 183.946 1167.73 183.946 1262.08 263.218 c 1,66,67
+506.805 1098.42 m 1,72,73
+ 426.835 1141.54 426.835 1141.54 359.408 1197.23 c 1,74,75
+ 208.571 1031.1 208.571 1031.1 193.993 807.3 c 1,76,-1
+ 448.304 807.3 l 1,77,78
+ 455.9 945.847 455.9 945.847 506.805 1098.42 c 1,72,73
+798 516.717 m 1,79,-1
+ 798 716 l 1,80,-1
+ 539.764 716 l 1,81,82
+ 547.211 597.894 547.211 597.894 590.269 465.204 c 1,83,84
+ 696.116 508.387 696.116 508.387 798 516.717 c 1,79,-1
+1066.01 379.06 m 1,85,86
+ 975.034 416.801 975.034 416.801 889.3 425.102 c 1,87,-1
+ 889.3 111.961 l 1,88,89
+ 908.073 113.327 908.073 113.327 927.498 115.963 c 1,90,91
+ 1009.22 237.715 1009.22 237.715 1066.01 379.06 c 1,85,86
+798 111.991 m 1,92,-1
+ 798 425.087 l 1,93,94
+ 712.91 416.803 712.91 416.803 621.915 379.03 c 1,95,96
+ 678.161 237.718 678.161 237.718 760.453 115.968 c 1,97,98
+ 779.756 113.346 779.756 113.346 798 111.991 c 1,92,-1
+506.804 425.582 m 1,99,100
+ 455.912 578.112 455.912 578.112 448.309 716 c 1,101,-1
+ 194.002 716 l 1,102,103
+ 208.584 493.507 208.584 493.507 359.439 326.795 c 1,104,105
+ 426.844 382.467 426.844 382.467 506.804 425.582 c 1,99,100
+634.728 145.428 m 1,106,107
+ 580.299 239.015 580.299 239.015 539.218 339.635 c 1,108,109
+ 478.599 305.837 478.599 305.837 425.925 263.219 c 1,110,111
+ 520.274 183.946 520.274 183.946 634.728 145.428 c 1,106,107
+EndSplineSet
+EndChar
+
+StartChar: u1F5C0
+Encoding: 128448 128448 1407
+Width: 1158
+VWidth: 1805
+Flags: W
+VStem: 102.5 106.7<602.301 1215.44> 841 106.7<238.4 843.752> 949.5 106<214.643 1065.52>
+LayerCount: 2
+Fore
+SplineSet
+1055.5 163.65 m 2,0,1
+ 1055.5 136.806 1055.5 136.806 1027.85 118.777 c 0,2,3
+ 1022.2 115.241 1022.2 115.241 1014.76 112.968 c 128,-1,4
+ 1007.33 110.694 1007.33 110.694 1002.34 109.835 c 128,-1,5
+ 997.355 108.975 997.355 108.975 982.41 107.168 c 128,-1,6
+ 967.465 105.361 967.465 105.361 959.394 104.238 c 0,7,8
+ 904.83 96.6504 904.83 96.6504 890.5 96.6504 c 0,9,10
+ 883.016 96.6504 883.016 96.6504 873.952 99.5816 c 128,-1,11
+ 864.889 102.513 864.889 102.513 849.994 110.465 c 128,-1,12
+ 835.1 118.417 835.1 118.417 822.385 125.88 c 128,-1,13
+ 809.67 133.343 809.67 133.343 783.12 149.187 c 128,-1,14
+ 756.569 165.032 756.569 165.032 735.957 176.967 c 0,15,16
+ 593.462 258.096 593.462 258.096 312.993 419.26 c 0,17,18
+ 271.572 443.835 271.572 443.835 190.566 491.606 c 1,19,20
+ 167.093 503.176 167.093 503.176 129.033 528.548 c 2,21,-1
+ 127.217 529.759 l 1,22,-1
+ 125.639 531.266 l 2,23,24
+ 102.5 553.353 102.5 553.353 102.5 580.15 c 2,25,-1
+ 102.5 1324.95 l 2,26,27
+ 102.5 1345.8 102.5 1345.8 118.02 1356.97 c 128,-1,28
+ 133.539 1368.15 133.539 1368.15 152.7 1368.15 c 0,29,30
+ 159.813 1368.15 159.813 1368.15 166.945 1365.85 c 128,-1,31
+ 174.078 1363.55 174.078 1363.55 178.378 1361.22 c 128,-1,32
+ 182.677 1358.89 182.677 1358.89 193.163 1352.3 c 128,-1,33
+ 203.649 1345.7 203.649 1345.7 209.454 1342.3 c 1,34,-1
+ 210.3 1409.11 l 2,35,36
+ 210.3 1429.22 210.3 1429.22 224.625 1441.93 c 128,-1,37
+ 238.95 1454.64 238.95 1454.64 258.424 1456.26 c 2,38,-1
+ 266.169 1456.91 l 1,39,-1
+ 694.479 1211.87 l 1,40,41
+ 737.3 1247.83 737.3 1247.83 771.289 1271.32 c 2,42,-1
+ 784.176 1280.22 l 1,43,-1
+ 1055.5 1126.73 l 1,44,-1
+ 1055.5 163.65 l 2,0,1
+949.5 214.858 m 1,45,-1
+ 949.5 1065.52 l 1,46,-1
+ 792.356 1156.34 l 1,47,-1
+ 699.305 1084.98 l 1,48,-1
+ 317 1304.2 l 1,49,-1
+ 317 1278.28 l 1,50,-1
+ 947.7 903.78 l 1,51,-1
+ 947.7 214.641 l 2,52,53
+ 948.335 214.717 948.335 214.717 949.5 214.858 c 1,45,-1
+841 238.4 m 1,54,-1
+ 841 843.752 l 1,55,-1
+ 209.2 1215.44 l 1,56,-1
+ 209.2 602.301 l 1,57,-1
+ 841 238.4 l 1,54,-1
+EndSplineSet
+EndChar
 EndChars
 EndSplineFont

--- a/lib/fonts/IsabelleTextBold.sfd	Fri Aug 12 15:25:25 2016 +0200
+++ b/lib/fonts/IsabelleTextBold.sfd	Fri Aug 12 16:49:29 2016 +0200
@@ -20,7 +20,7 @@
 OS2_WeightWidthSlopeOnly: 0
 OS2_UseTypoMetrics: 1
 CreationTime: 1050374980
-ModificationTime: 1456601640
+ModificationTime: 1471012188
 PfmFamily: 17
 TTFWeight: 700
 TTFWidth: 5
@@ -1678,10 +1678,10 @@
 DisplaySize: -96
 AntiAlias: 1
 FitToEm: 1
-WinInfo: 9513 21 15
+WinInfo: 127638 21 15
 BeginPrivate: 0
 EndPrivate
-BeginChars: 1114115 1396
+BeginChars: 1114115 1400
 
 StartChar: .notdef
 Encoding: 1114112 -1 0
@@ -68852,5 +68852,270 @@
  734 -78 734 -78 864 -78 c 0,20,21
 EndSplineSet
 EndChar
+
+StartChar: u1F310
+Encoding: 127760 127760 1396
+Width: 1688
+VWidth: 1788
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+1611.8 762 m 0
+ 1611.8 444.06 1611.8 444.06 1386.86 219.138 c 0
+ 1161.91 -5.7998 1161.91 -5.7998 844 -5.7998 c 0
+ 526.07 -5.7998 526.07 -5.7998 301.138 219.138 c 0
+ 76.2 444.08 76.2 444.08 76.2 762 c 0
+ 76.2 1079.91 76.2 1079.91 301.138 1304.86 c 0
+ 526.056 1529.8 526.056 1529.8 844 1529.8 c 0
+ 1161.93 1529.8 1161.93 1529.8 1386.86 1304.86 c 0
+ 1611.8 1079.93 1611.8 1079.93 1611.8 762 c 0
+1220.07 1261.11 m 1
+ 1168.47 1300.23 1168.47 1300.23 1111.45 1327.2 c 1
+ 1138.31 1275.55 1138.31 1275.55 1161.39 1221.76 c 1
+ 1191.78 1240.21 1191.78 1240.21 1220.07 1261.11 c 1
+1465.7 833.3 m 1
+ 1446.04 1018.25 1446.04 1018.25 1325.54 1161.18 c 1
+ 1272.9 1119.91 1272.9 1119.91 1212.62 1085.87 c 1
+ 1254.19 954.411 1254.19 954.411 1263.99 833.3 c 1
+ 1465.7 833.3 l 1
+1032.07 1159.49 m 1
+ 982.764 1277 982.764 1277 915.3 1379.54 c 1
+ 915.3 1128.35 l 1
+ 972.667 1137.3 972.667 1137.3 1032.07 1159.49 c 1
+772 1128.4 m 1
+ 772 1378.3 l 1
+ 705.395 1276.11 705.395 1276.11 656.076 1159.43 c 1
+ 715.641 1137.24 715.641 1137.24 772 1128.4 c 1
+1120.11 833.3 m 1
+ 1111.28 924.649 1111.28 924.649 1081.23 1024.49 c 1
+ 996.9 993.412 996.9 993.412 915.3 983.737 c 1
+ 915.3 833.3 l 1
+ 1120.11 833.3 l 1
+1465.7 690 m 1
+ 1263.98 690 l 1
+ 1254.16 569.491 1254.16 569.491 1212.56 437.946 c 1
+ 1272.5 403.924 1272.5 403.924 1325.48 362.623 c 1
+ 1446.03 505.147 1446.03 505.147 1465.7 690 c 1
+576.794 1327.31 m 1
+ 519.517 1300.22 519.517 1300.22 467.933 1261.11 c 1
+ 496.214 1240.21 496.214 1240.21 526.679 1221.72 c 1
+ 549.892 1275.64 549.892 1275.64 576.794 1327.31 c 1
+772 833.3 m 1
+ 772 983.765 l 1
+ 690.418 993.615 690.418 993.615 606.766 1024.48 c 1
+ 576.71 924.621 576.71 924.621 567.891 833.3 c 1
+ 772 833.3 l 1
+1120.09 690 m 1
+ 915.3 690 l 1
+ 915.3 540.263 l 1
+ 996.899 530.588 996.899 530.588 1081.24 499.506 c 1
+ 1111.27 599.254 1111.27 599.254 1120.09 690 c 1
+1220.07 262.892 m 1
+ 1191.78 283.795 1191.78 283.795 1161.32 302.281 c 1
+ 1138.12 248.387 1138.12 248.387 1111.21 196.689 c 1
+ 1168.47 223.77 1168.47 223.77 1220.07 262.892 c 1
+475.438 1086.05 m 1
+ 415.516 1120.07 415.516 1120.07 362.518 1161.37 c 1
+ 241.972 1018.79 241.972 1018.79 222.285 833.3 c 1
+ 424.006 833.3 l 1
+ 433.81 954.411 433.81 954.411 475.438 1086.05 c 1
+772 540.235 m 1
+ 772 690 l 1
+ 567.914 690 l 1
+ 576.734 599.257 576.734 599.257 606.761 499.515 c 1
+ 690.429 530.386 690.429 530.386 772 540.235 c 1
+1031.92 364.563 m 1
+ 972.259 386.759 972.259 386.759 915.3 395.651 c 1
+ 915.3 144.624 l 1
+ 982.429 247.46 982.429 247.46 1031.92 364.563 c 1
+772 145.521 m 1
+ 772 395.601 l 1
+ 715.225 386.699 715.225 386.699 655.924 364.514 c 1
+ 704.843 247.924 704.843 247.924 772 145.521 c 1
+475.435 437.946 m 1
+ 433.833 569.489 433.833 569.489 424.022 690 c 1
+ 222.315 690 l 1
+ 241.994 505.692 241.994 505.692 362.578 362.672 c 1
+ 415.516 403.933 415.516 403.933 475.435 437.946 c 1
+576.794 196.689 m 1
+ 549.878 248.388 549.878 248.388 526.679 302.281 c 1
+ 496.212 283.788 496.212 283.788 467.933 262.892 c 1
+ 519.514 223.78 519.514 223.78 576.794 196.689 c 1
+EndSplineSet
+EndChar
+
+StartChar: u1F4D3
+Encoding: 128211 128211 1397
+Width: 1064
+VWidth: 1762
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+987.6 131.45 m 2
+ 987.6 117.46 987.6 117.46 982.253 104.974 c 0
+ 976.906 92.4875 976.906 92.4875 973.075 87.9227 c 0
+ 969.244 83.3579 969.244 83.3579 960.649 74.2987 c 0
+ 951.974 65.1552 951.974 65.1552 947.42 60.9378 c 0
+ 942.865 56.7205 942.865 56.7205 929.937 50.7352 c 0
+ 917.009 44.75 917.009 44.75 902.3 44.75 c 2
+ 154.7 44.75 l 2
+ 144.755 44.75 144.755 44.75 136.732 46.5759 c 0
+ 128.708 48.4017 128.708 48.4017 123.042 52.0322 c 0
+ 117.376 55.6626 117.376 55.6626 114.185 58.3353 c 0
+ 110.995 61.0081 110.995 61.0081 107.166 65.5483 c 0
+ 103.337 70.0886 103.337 70.0886 102.538 70.8876 c 0
+ 101.738 71.6866 101.738 71.6866 97.1983 75.5157 c 0
+ 92.6582 79.3449 92.6582 79.3449 89.9854 82.5355 c 0
+ 87.3125 85.726 87.3125 85.726 83.6821 91.3921 c 0
+ 80.0518 97.0581 80.0518 97.0581 78.2259 105.082 c 0
+ 76.4 113.105 76.4 113.105 76.4 123.05 c 2
+ 76.4 1202.45 l 2
+ 76.4 1246.98 76.4 1246.98 114.258 1277.83 c 0
+ 124.181 1285.77 124.181 1285.77 140.128 1292.56 c 0
+ 156.075 1299.35 156.075 1299.35 185.287 1307.52 c 0
+ 214.5 1315.68 214.5 1315.68 243.971 1322.98 c 0
+ 273.442 1330.28 273.442 1330.28 329.44 1344.31 c 0
+ 385.437 1358.34 385.437 1358.34 435.927 1371.78 c 0
+ 469.093 1380.61 469.093 1380.61 514.719 1392.86 c 0
+ 560.345 1405.11 560.345 1405.11 583.654 1411.34 c 0
+ 606.963 1417.58 606.963 1417.58 637.85 1425.69 c 0
+ 668.737 1433.8 668.737 1433.8 684.766 1437.64 c 0
+ 700.795 1441.48 700.795 1441.48 718.697 1445.43 c 0
+ 736.599 1449.39 736.599 1449.39 747.103 1450.82 c 0
+ 757.606 1452.25 757.606 1452.25 765.1 1452.25 c 0
+ 777.132 1452.25 777.132 1452.25 787.664 1450.49 c 0
+ 816.159 1445.72 816.159 1445.72 837.129 1423.36 c 0
+ 858.1 1400.99 858.1 1400.99 858.1 1370.45 c 2
+ 858.1 1285.65 l 1
+ 919.1 1285.65 l 2
+ 952.854 1285.65 952.854 1285.65 973.808 1252.37 c 0
+ 987.6 1230.47 987.6 1230.47 987.6 1210.15 c 2
+ 987.6 131.45 l 2
+821.9 210.45 m 1
+ 821.9 1122.05 l 1
+ 284.8 1122.05 l 1
+ 284.8 210.45 l 1
+ 821.9 210.45 l 1
+811.2 725.15 m 1
+ 302.5 725.15 l 1
+ 302.5 1108.55 l 1
+ 811.2 1108.55 l 1
+ 811.2 725.15 l 1
+678.4 855.15 m 1
+ 678.4 978.55 l 1
+ 435.3 978.55 l 1
+ 435.3 855.15 l 1
+ 678.4 855.15 l 1
+EndSplineSet
+EndChar
+
+StartChar: u1F5C0
+Encoding: 128448 128448 1398
+Width: 1158
+VWidth: 1805
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+1081.5 163.65 m 2
+ 1081.5 122.722 1081.5 122.722 1041.85 96.8642 c 0
+ 1031.79 90.5761 1031.79 90.5761 1022.36 87.2552 c 0
+ 1012.94 83.9343 1012.94 83.9343 1006.68 83.0855 c 0
+ 1000.42 82.2367 1000.42 82.2367 986.754 81.065 c 0
+ 973.093 79.8932 973.093 79.8932 962.975 78.4862 c 0
+ 906.629 70.65 906.629 70.65 890.5 70.65 c 0
+ 874.073 70.65 874.073 70.65 856.304 77.2317 c 0
+ 838.536 83.8135 838.536 83.8135 824.647 92.1127 c 0
+ 810.758 100.412 810.758 100.412 779.459 120.135 c 0
+ 748.161 139.858 748.161 139.858 723.008 154.42 c 0
+ 580.768 235.396 580.768 235.396 299.885 396.806 c 0
+ 258.685 421.253 258.685 421.253 178.198 468.715 c 1
+ 153.461 481.015 153.461 481.015 114.61 506.915 c 2
+ 110.906 509.385 l 1
+ 107.686 512.459 l 2
+ 98.597 521.135 98.597 521.135 92.1108 530.717 c 0
+ 76.5 553.779 76.5 553.779 76.5 580.15 c 2
+ 76.5 1324.95 l 2
+ 76.5 1358.02 76.5 1358.02 101.608 1376.08 c 0
+ 126.716 1394.15 126.716 1394.15 152.7 1394.15 c 0
+ 160.188 1394.15 160.188 1394.15 165.884 1393.16 c 0
+ 171.581 1392.17 171.581 1392.17 173.948 1391.19 c 0
+ 176.315 1390.21 176.315 1390.21 179.646 1388.28 c 0
+ 182.977 1386.34 182.977 1386.34 184.004 1385.86 c 1
+ 184.3 1409.27 l 2
+ 184.3 1439.75 184.3 1439.75 206.971 1459.85 c 0
+ 229.641 1479.96 229.641 1479.96 256.265 1482.17 c 2
+ 272.065 1483.49 l 1
+ 691.737 1243.39 l 1
+ 727.276 1272.51 727.276 1272.51 756.51 1292.71 c 2
+ 782.8 1310.87 l 1
+ 1081.5 1141.89 l 1
+ 1081.5 163.65 l 2
+923.5 948.388 m 1
+ 923.5 1050.52 l 1
+ 794.39 1125.14 l 1
+ 728.336 1074.48 l 2
+ 723.943 1071.54 723.943 1071.54 720.835 1068.73 c 1
+ 923.5 948.388 l 1
+815 283.379 m 1
+ 815 828.882 l 1
+ 235.2 1169.98 l 1
+ 235.2 617.33 l 1
+ 815 283.379 l 1
+EndSplineSet
+EndChar
+
+StartChar: u1F5CF
+Encoding: 128463 128463 1399
+Width: 1316
+VWidth: 1663
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+1165.12 71.72 m 1
+ 150.881 71.72 l 1
+ 150.881 1462.28 l 1
+ 1165.12 1462.28 l 1
+ 1165.12 71.72 l 1
+1021.12 215.72 m 1
+ 1021.12 1318.28 l 1
+ 294.881 1318.28 l 1
+ 294.881 215.72 l 1
+ 1021.12 215.72 l 1
+999.641 1165.4 m 1
+ 316.359 1165.4 l 1
+ 316.359 1309.4 l 1
+ 999.641 1309.4 l 1
+ 999.641 1165.4 l 1
+999.641 977.24 m 1
+ 316.359 977.24 l 1
+ 316.359 1121.24 l 1
+ 999.641 1121.24 l 1
+ 999.641 977.24 l 1
+999.641 789.08 m 1
+ 316.359 789.08 l 1
+ 316.359 933.08 l 1
+ 999.641 933.08 l 1
+ 999.641 789.08 l 1
+999.641 600.92 m 1
+ 316.359 600.92 l 1
+ 316.359 744.92 l 1
+ 999.641 744.92 l 1
+ 999.641 600.92 l 1
+999.641 412.76 m 1
+ 316.359 412.76 l 1
+ 316.359 556.76 l 1
+ 999.641 556.76 l 1
+ 999.641 412.76 l 1
+999.641 224.6 m 1
+ 316.359 224.6 l 1
+ 316.359 368.6 l 1
+ 999.641 368.6 l 1
+ 999.641 224.6 l 1
+EndSplineSet
+EndChar
 EndChars
 EndSplineFont

--- a/lib/fonts/README	Fri Aug 12 15:25:25 2016 +0200
+++ b/lib/fonts/README	Fri Aug 12 16:49:29 2016 +0200
@@ -3,6 +3,10 @@
 (free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono,
 with some additions from DejaVu Sans Mono and DejaVu Sans.
 
+Some additional symbols are from Symbola. See http://greekfonts.teilar.gr
+"In lieu of a licence; fonts and documents in this site are free for any use;
+George Douros".
+
 ----------------------------------------------------------------------------
 
 Computer Modern PostScript Fonts