more arrow symbols;
authorwenzelm
Tue Dec 29 20:58:18 2015 +0100 (2015-12-29)
changeset 619632548e7cc86fb
parent 61962 9c8fc56032e3
child 61964 37a0cbee00c2
more arrow symbols;
NEWS
etc/abbrevs
etc/symbols
lib/fonts/IsabelleText.sfd
lib/fonts/IsabelleTextBold.sfd
lib/texinputs/isabellesym.sty
src/Doc/Isar_Ref/document/root.tex
     1.1 --- a/NEWS	Tue Dec 29 19:11:23 2015 +0100
     1.2 +++ b/NEWS	Tue Dec 29 20:58:18 2015 +0100
     1.3 @@ -31,6 +31,18 @@
     1.4  remains available under print mode "ASCII", but less important syntax
     1.5  has been removed (see below).
     1.6  
     1.7 +* Support for arrows of various lengths, with rendering in LaTeX and
     1.8 +Isabelle fonts:
     1.9 +
    1.10 +  \<leftarrow>
    1.11 +  \<longleftarrow>
    1.12 +  \<longlongleftarrow>
    1.13 +  \<longlonglongleftarrow>
    1.14 +  \<rightarrow>
    1.15 +  \<longrightarrow>
    1.16 +  \<longlongrightarrow>
    1.17 +  \<longlonglongrightarrow>
    1.18 +
    1.19  
    1.20  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.21  
     2.1 --- a/etc/abbrevs	Tue Dec 29 19:11:23 2015 +0100
     2.2 +++ b/etc/abbrevs	Tue Dec 29 20:58:18 2015 +0100
     2.3 @@ -1,5 +1,5 @@
     2.4  (* additional abbreviations for syntactic completion *)
     2.5  
     2.6  (*prevent replacement of very long arrows*)
     2.7 -"--->" = "--->"
     2.8 +"----->" = "----->"
     2.9  "===>" = "===>"
     3.1 --- a/etc/symbols	Tue Dec 29 19:11:23 2015 +0100
     3.2 +++ b/etc/symbols	Tue Dec 29 20:58:18 2015 +0100
     3.3 @@ -156,8 +156,12 @@
     3.4  \<int>                  code: 0x002124  group: letter
     3.5  \<leftarrow>            code: 0x002190  group: arrow  abbrev: <.
     3.6  \<longleftarrow>        code: 0x0027f5  group: arrow  abbrev: <.
     3.7 +\<longlongleftarrow>    code: 0x00290e  group: arrow  abbrev: <.
     3.8 +\<longlonglongleftarrow> code: 0x0021e0 group: arrow  abbrev: <.
     3.9  \<rightarrow>           code: 0x002192  group: arrow  abbrev: .>  abbrev: ->
    3.10  \<longrightarrow>       code: 0x0027f6  group: arrow  abbrev: .>  abbrev: -->
    3.11 +\<longlongrightarrow>   code: 0x00290f  group: arrow  abbrev: .>  abbrev: --->
    3.12 +\<longlonglongrightarrow> code: 0x0021e2 group: arrow abbrev: .>  abbrev: ---->
    3.13  \<Leftarrow>            code: 0x0021d0  group: arrow  abbrev: <.
    3.14  \<Longleftarrow>        code: 0x0027f8  group: arrow  abbrev: <.
    3.15  \<Rightarrow>           code: 0x0021d2  group: arrow  abbrev: .>  abbrev: =>
     4.1 --- a/lib/fonts/IsabelleText.sfd	Tue Dec 29 19:11:23 2015 +0100
     4.2 +++ b/lib/fonts/IsabelleText.sfd	Tue Dec 29 20:58:18 2015 +0100
     4.3 @@ -19,7 +19,7 @@
     4.4  OS2_WeightWidthSlopeOnly: 0
     4.5  OS2_UseTypoMetrics: 1
     4.6  CreationTime: 1050361371
     4.7 -ModificationTime: 1446896286
     4.8 +ModificationTime: 1451417325
     4.9  PfmFamily: 17
    4.10  TTFWeight: 400
    4.11  TTFWidth: 5
    4.12 @@ -2241,11 +2241,11 @@
    4.13  DisplaySize: -96
    4.14  AntiAlias: 1
    4.15  FitToEm: 1
    4.16 -WinInfo: 9864 18 16
    4.17 +WinInfo: 10278 18 16
    4.18  BeginPrivate: 0
    4.19  EndPrivate
    4.20  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
    4.21 -BeginChars: 1114189 1398
    4.22 +BeginChars: 1114189 1399
    4.23  
    4.24  StartChar: u10000
    4.25  Encoding: 65536 65536 0
    4.26 @@ -54601,34 +54601,68 @@
    4.27  
    4.28  StartChar: uni21E0
    4.29  Encoding: 8672 8672 1077
    4.30 -Width: 1233
    4.31 -Flags: W
    4.32 -LayerCount: 2
    4.33 -Fore
    4.34 -SplineSet
    4.35 -545 643 m 1,0,-1
    4.36 - 545.001 478.998 l 1,1,-1
    4.37 - 287 479 l 9,2,-1
    4.38 - 447 319 l 1,3,-1
    4.39 - 357 229 l 1,4,-1
    4.40 - 66 520 l 9,5,-1
    4.41 - 66 602 l 17,6,-1
    4.42 - 357 893 l 1,7,-1
    4.43 - 447 803 l 1,8,-1
    4.44 - 287 643 l 17,9,-1
    4.45 - 545 643 l 1,0,-1
    4.46 -670.001 479.001 m 1,10,-1
    4.47 - 670 642.999 l 1,11,-1
    4.48 - 856.999 643 l 1,12,-1
    4.49 - 856.999 478.998 l 1,13,-1
    4.50 - 670.001 479.001 l 1,10,-1
    4.51 -980.001 479.001 m 1,14,-1
    4.52 - 980.001 642.997 l 1,15,-1
    4.53 - 1167 643 l 1,16,-1
    4.54 - 1167 479 l 1,17,-1
    4.55 - 980.001 479.001 l 1,14,-1
    4.56 -EndSplineSet
    4.57 -Validated: 1
    4.58 +Width: 6063
    4.59 +VWidth: 2220
    4.60 +Flags: W
    4.61 +HStem: 511 88<394 5848.81>
    4.62 +VStem: 563 71<166.706 257.064>
    4.63 +LayerCount: 2
    4.64 +Fore
    4.65 +SplineSet
    4.66 +5782 511.5 m 6,0,-1
    4.67 + 2172 511 l 2,1,2
    4.68 + 2147.74 511.152 l 0,3,4
    4.69 + 2137.01 511.244 l 1,5,6
    4.70 + 2122 511 l 2,7,-1
    4.71 + 2101 511 l 1,8,-1
    4.72 + 394 511 l 1,9,10
    4.73 + 452 469 452 469 501 412 c 128,-1,11
    4.74 + 550 355 550 355 577 308 c 128,-1,12
    4.75 + 604 261 604 261 619 228 c 128,-1,13
    4.76 + 634 195 634 195 634 186 c 0,14,15
    4.77 + 634 172 634 172 624 166 c 128,-1,16
    4.78 + 614 160 614 160 601 160 c 0,17,18
    4.79 + 584 160 584 160 577.5 166.5 c 128,-1,19
    4.80 + 571 173 571 173 563 191 c 0,20,21
    4.81 + 512 301 512 301 437 383.5 c 0,22,23
    4.82 + 368.667 458.667 368.667 458.667 234 526 c 0,24,25
    4.83 + 228 529 228 529 223.5 532 c 128,-1,26
    4.84 + 219 535 219 535 215.5 538 c 128,-1,27
    4.85 + 212 541 212 541 210 545 c 128,-1,28
    4.86 + 208 549 208 549 208 555 c 128,-1,29
    4.87 + 208 561 208 561 208.5 564 c 128,-1,30
    4.88 + 209 567 209 567 215 571.5 c 128,-1,31
    4.89 + 221 576 221 576 222.5 577 c 128,-1,32
    4.90 + 224 578 224 578 239 586 c 0,33,34
    4.91 + 302 616 302 616 355 655.5 c 128,-1,35
    4.92 + 408 695 408 695 440 728 c 0,36,37
    4.93 + 472 762 472 762 500 805 c 0,38,39
    4.94 + 531.719 853.711 531.719 853.711 539.5 871.5 c 0,40,41
    4.95 + 558.722 915.443 558.722 915.443 565 928 c 0,42,43
    4.96 + 569 936 569 936 570.5 938.5 c 128,-1,44
    4.97 + 572 941 572 941 580 945.5 c 128,-1,45
    4.98 + 588 950 588 950 601 950 c 0,46,47
    4.99 + 615 950 615 950 624.5 943.5 c 128,-1,48
   4.100 + 634 937 634 937 634 924 c 0,49,50
   4.101 + 634 915 634 915 619 882 c 128,-1,51
   4.102 + 604 849 604 849 577 802 c 128,-1,52
   4.103 + 550 755 550 755 501 698.5 c 128,-1,53
   4.104 + 452 642 452 642 394 599 c 1,54,-1
   4.105 + 2101 599 l 1,55,-1
   4.106 + 2122 599 l 2,56,57
   4.107 + 2136.92 598.968 l 1,58,59
   4.108 + 2148.11 598.97 l 0,60,-1
   4.109 + 2172 599 l 2,61,-1
   4.110 + 5782 599.5 l 6,62,63
   4.111 + 5797.84 599.502 5797.84 599.502 5807.5 599 c 132,-1,64
   4.112 + 5817 598.5 5817 598.5 5830 594.5 c 132,-1,65
   4.113 + 5843 590.5 5843 590.5 5849 581 c 132,-1,66
   4.114 + 5855 571.5 5855 571.5 5855 555.5 c 132,-1,67
   4.115 + 5855 539.5 5855 539.5 5849 530 c 132,-1,68
   4.116 + 5843 520.5 5843 520.5 5830 516.5 c 132,-1,69
   4.117 + 5817 512.5 5817 512.5 5807.5 512 c 4,70,71
   4.118 + 5798.64 511.502 5798.64 511.502 5782 511.5 c 6,0,-1
   4.119 +EndSplineSet
   4.120  EndChar
   4.121  
   4.122  StartChar: uni21E1
   4.123 @@ -54665,34 +54699,68 @@
   4.124  
   4.125  StartChar: uni21E2
   4.126  Encoding: 8674 8674 1079
   4.127 -Width: 1233
   4.128 -Flags: W
   4.129 -LayerCount: 2
   4.130 -Fore
   4.131 -SplineSet
   4.132 -688 643 m 1,0,-1
   4.133 - 946 643 l 9,1,-1
   4.134 - 786 803 l 1,2,-1
   4.135 - 876 893 l 1,3,-1
   4.136 - 1167 602 l 9,4,-1
   4.137 - 1167 520 l 17,5,-1
   4.138 - 876 229 l 1,6,-1
   4.139 - 786 319 l 1,7,-1
   4.140 - 946 479 l 17,8,-1
   4.141 - 687.999 478.998 l 1,9,-1
   4.142 - 688 643 l 1,0,-1
   4.143 -562.999 479.001 m 1,10,-1
   4.144 - 376.001 478.998 l 1,11,-1
   4.145 - 376.001 643 l 1,12,-1
   4.146 - 563 642.999 l 1,13,-1
   4.147 - 562.999 479.001 l 1,10,-1
   4.148 -252.999 479.001 m 1,14,-1
   4.149 - 66 479 l 1,15,-1
   4.150 - 66 643 l 1,16,-1
   4.151 - 252.999 642.997 l 1,17,-1
   4.152 - 252.999 479.001 l 1,14,-1
   4.153 -EndSplineSet
   4.154 -Validated: 1
   4.155 +Width: 6062
   4.156 +VWidth: 2220
   4.157 +Flags: W
   4.158 +HStem: 511.5 88<218.705 5664>
   4.159 +VStem: 5424 71<849.469 944.029>
   4.160 +LayerCount: 2
   4.161 +Fore
   4.162 +SplineSet
   4.163 +2694 511.5 m 2,0,-1
   4.164 + 285 511 l 2,1,2
   4.165 + 269.114 510.997 269.114 510.997 260 511.5 c 128,-1,3
   4.166 + 251 512 251 512 238 516 c 128,-1,4
   4.167 + 225 520 225 520 218.5 529.5 c 128,-1,5
   4.168 + 212 539 212 539 212 555 c 128,-1,6
   4.169 + 212 571 212 571 218.5 580.5 c 128,-1,7
   4.170 + 225 590 225 590 238 594 c 128,-1,8
   4.171 + 251 598 251 598 260 598.5 c 128,-1,9
   4.172 + 268.974 598.997 268.974 598.997 285 599 c 2,10,-1
   4.173 + 2694 599.5 l 2,11,12
   4.174 + 2713.46 599.458 l 0,13,-1
   4.175 + 2724.83 599.208 l 0,14,15
   4.176 + 2735 599.5 l 2,16,-1
   4.177 + 2756 599.5 l 1,17,-1
   4.178 + 5664 599.25 l 5,18,19
   4.179 + 5606 641.25 5606 641.25 5556.5 698.25 c 132,-1,20
   4.180 + 5507 755.25 5507 755.25 5480 802.25 c 132,-1,21
   4.181 + 5453 849.25 5453 849.25 5438.5 882.25 c 132,-1,22
   4.182 + 5424 915.25 5424 915.25 5424 924.25 c 4,23,24
   4.183 + 5424 938.25 5424 938.25 5434 944.25 c 132,-1,25
   4.184 + 5444 950.25 5444 950.25 5457 950.25 c 4,26,27
   4.185 + 5474 950.25 5474 950.25 5481 944.25 c 4,28,29
   4.186 + 5487 937.25 5487 937.25 5495 919.25 c 4,30,31
   4.187 + 5526 848.25 5526 848.25 5569 788.25 c 4,32,33
   4.188 + 5609 731.25 5609 731.25 5655 691.75 c 132,-1,34
   4.189 + 5701 652.25 5701 652.25 5742 626.75 c 132,-1,35
   4.190 + 5783 601.25 5783 601.25 5834 577.25 c 5,36,37
   4.191 + 5837 577.25 5837 577.25 5843.5 571.25 c 132,-1,38
   4.192 + 5850 565.25 5850 565.25 5850 555.25 c 4,39,40
   4.193 + 5850 544.25 5850 544.25 5845 539.25 c 132,-1,41
   4.194 + 5840 534.25 5840 534.25 5819 524.25 c 4,42,43
   4.195 + 5773 502.25 5773 502.25 5732.5 475.75 c 132,-1,44
   4.196 + 5692 449.25 5692 449.25 5663 424.75 c 132,-1,45
   4.197 + 5634 400.25 5634 400.25 5607.5 369.25 c 132,-1,46
   4.198 + 5581 338.25 5581 338.25 5565 316.25 c 132,-1,47
   4.199 + 5549 294.25 5549 294.25 5532.5 264.25 c 4,48,49
   4.200 + 5511.31 225.717 5511.31 225.717 5509.5 220.25 c 4,50,51
   4.201 + 5504.63 205.505 5504.63 205.505 5493 182.25 c 4,52,53
   4.202 + 5489 174.25 5489 174.25 5487 171.75 c 132,-1,54
   4.203 + 5485 169.25 5485 169.25 5477 164.25 c 4,55,56
   4.204 + 5469 160.25 5469 160.25 5457 160.25 c 4,57,58
   4.205 + 5443 160.25 5443 160.25 5433.5 166.75 c 132,-1,59
   4.206 + 5424 173.25 5424 173.25 5424 186.25 c 4,60,61
   4.207 + 5424 195.25 5424 195.25 5438.5 228.25 c 132,-1,62
   4.208 + 5453 261.25 5453 261.25 5480 308.25 c 132,-1,63
   4.209 + 5507 355.25 5507 355.25 5556.5 412.25 c 132,-1,64
   4.210 + 5606 469.25 5606 469.25 5664 511.25 c 5,65,-1
   4.211 + 2756 511.5 l 1,66,-1
   4.212 + 2735 511.5 l 2,67,68
   4.213 + 2725.08 511.875 l 0,69,70
   4.214 + 2715.96 511.875 l 0,71,-1
   4.215 + 2694 511.5 l 2,0,-1
   4.216 +EndSplineSet
   4.217  EndChar
   4.218  
   4.219  StartChar: uni21E3
   4.220 @@ -62017,7 +62085,7 @@
   4.221  EndChar
   4.222  
   4.223  StartChar: uni2756
   4.224 -Encoding: 10070 10070 1397
   4.225 +Encoding: 10070 10070 1396
   4.226  Width: 1233
   4.227  Flags: W
   4.228  LayerCount: 2
   4.229 @@ -62045,5 +62113,137 @@
   4.230   358 254 l 1,12,-1
   4.231  EndSplineSet
   4.232  EndChar
   4.233 +
   4.234 +StartChar: uni290E
   4.235 +Encoding: 10510 10510 1397
   4.236 +Width: 4863
   4.237 +VWidth: 2220
   4.238 +Flags: W
   4.239 +HStem: 511 88<394 4648.81>
   4.240 +VStem: 563 71<166.706 257.064>
   4.241 +LayerCount: 2
   4.242 +Fore
   4.243 +SplineSet
   4.244 +4582 511.5 m 2,0,-1
   4.245 + 2172 511 l 2,1,2
   4.246 + 2147.74 511.152 l 0,3,4
   4.247 + 2137.01 511.244 l 1,5,6
   4.248 + 2122 511 l 2,7,-1
   4.249 + 2101 511 l 1,8,-1
   4.250 + 394 511 l 1,9,10
   4.251 + 452 469 452 469 501 412 c 128,-1,11
   4.252 + 550 355 550 355 577 308 c 128,-1,12
   4.253 + 604 261 604 261 619 228 c 128,-1,13
   4.254 + 634 195 634 195 634 186 c 0,14,15
   4.255 + 634 172 634 172 624 166 c 128,-1,16
   4.256 + 614 160 614 160 601 160 c 0,17,18
   4.257 + 584 160 584 160 577.5 166.5 c 128,-1,19
   4.258 + 571 173 571 173 563 191 c 0,20,21
   4.259 + 512 301 512 301 437 383.5 c 0,22,23
   4.260 + 368.667 458.667 368.667 458.667 234 526 c 0,24,25
   4.261 + 228 529 228 529 223.5 532 c 128,-1,26
   4.262 + 219 535 219 535 215.5 538 c 128,-1,27
   4.263 + 212 541 212 541 210 545 c 128,-1,28
   4.264 + 208 549 208 549 208 555 c 128,-1,29
   4.265 + 208 561 208 561 208.5 564 c 128,-1,30
   4.266 + 209 567 209 567 215 571.5 c 128,-1,31
   4.267 + 221 576 221 576 222.5 577 c 128,-1,32
   4.268 + 224 578 224 578 239 586 c 0,33,34
   4.269 + 302 616 302 616 355 655.5 c 128,-1,35
   4.270 + 408 695 408 695 440 728 c 0,36,37
   4.271 + 472 762 472 762 500 805 c 0,38,39
   4.272 + 531.719 853.711 531.719 853.711 539.5 871.5 c 0,40,41
   4.273 + 558.722 915.443 558.722 915.443 565 928 c 0,42,43
   4.274 + 569 936 569 936 570.5 938.5 c 128,-1,44
   4.275 + 572 941 572 941 580 945.5 c 128,-1,45
   4.276 + 588 950 588 950 601 950 c 0,46,47
   4.277 + 615 950 615 950 624.5 943.5 c 128,-1,48
   4.278 + 634 937 634 937 634 924 c 0,49,50
   4.279 + 634 915 634 915 619 882 c 128,-1,51
   4.280 + 604 849 604 849 577 802 c 128,-1,52
   4.281 + 550 755 550 755 501 698.5 c 128,-1,53
   4.282 + 452 642 452 642 394 599 c 1,54,-1
   4.283 + 2101 599 l 1,55,-1
   4.284 + 2122 599 l 2,56,57
   4.285 + 2136.92 598.968 l 1,58,59
   4.286 + 2148.11 598.97 l 0,60,-1
   4.287 + 2172 599 l 2,61,-1
   4.288 + 4582 599.5 l 2,62,63
   4.289 + 4597.93 599.503 4597.93 599.503 4607.5 599 c 128,-1,64
   4.290 + 4617 598.5 4617 598.5 4630 594.5 c 128,-1,65
   4.291 + 4643 590.5 4643 590.5 4649 581 c 128,-1,66
   4.292 + 4655 571.5 4655 571.5 4655 555.5 c 128,-1,67
   4.293 + 4655 539.5 4655 539.5 4649 530 c 128,-1,68
   4.294 + 4643 520.5 4643 520.5 4630 516.5 c 128,-1,69
   4.295 + 4617 512.5 4617 512.5 4607.5 512 c 0,70,71
   4.296 + 4598.38 511.503 4598.38 511.503 4582 511.5 c 2,0,-1
   4.297 +EndSplineSet
   4.298 +EndChar
   4.299 +
   4.300 +StartChar: uni290F
   4.301 +Encoding: 10511 10511 1398
   4.302 +Width: 4862
   4.303 +VWidth: 2220
   4.304 +Flags: W
   4.305 +HStem: 511 88<218.705 4464>
   4.306 +VStem: 4224 71<849.719 944.279>
   4.307 +LayerCount: 2
   4.308 +Fore
   4.309 +SplineSet
   4.310 +2694 511.5 m 6,0,-1
   4.311 + 285 511 l 2,1,2
   4.312 + 269.087 510.997 269.087 510.997 260 511.5 c 128,-1,3
   4.313 + 251 512 251 512 238 516 c 128,-1,4
   4.314 + 225 520 225 520 218.5 529.5 c 128,-1,5
   4.315 + 212 539 212 539 212 555 c 128,-1,6
   4.316 + 212 571 212 571 218.5 580.5 c 128,-1,7
   4.317 + 225 590 225 590 238 594 c 128,-1,8
   4.318 + 251 598 251 598 260 598.5 c 128,-1,9
   4.319 + 268.974 598.997 268.974 598.997 285 599 c 2,10,-1
   4.320 + 2694 599.5 l 2,11,12
   4.321 + 2713.46 599.458 l 0,13,-1
   4.322 + 2724.83 599.208 l 0,14,15
   4.323 + 2735 599.5 l 2,16,-1
   4.324 + 2756 599.5 l 1,17,-1
   4.325 + 4464 599.5 l 1,18,19
   4.326 + 4406 641.5 4406 641.5 4356.5 698.5 c 128,-1,20
   4.327 + 4307 755.5 4307 755.5 4280 802.5 c 128,-1,21
   4.328 + 4253 849.5 4253 849.5 4238.5 882.5 c 128,-1,22
   4.329 + 4224 915.5 4224 915.5 4224 924.5 c 0,23,24
   4.330 + 4224 938.5 4224 938.5 4234 944.5 c 128,-1,25
   4.331 + 4244 950.5 4244 950.5 4257 950.5 c 0,26,27
   4.332 + 4274 950.5 4274 950.5 4281 944.5 c 0,28,29
   4.333 + 4287 937.5 4287 937.5 4295 919.5 c 0,30,31
   4.334 + 4326 848.5 4326 848.5 4369 788.5 c 0,32,33
   4.335 + 4409 731.5 4409 731.5 4455 692 c 128,-1,34
   4.336 + 4501 652.5 4501 652.5 4542 627 c 128,-1,35
   4.337 + 4583 601.5 4583 601.5 4634 577.5 c 1,36,37
   4.338 + 4637 577.5 4637 577.5 4643.5 571.5 c 128,-1,38
   4.339 + 4650 565.5 4650 565.5 4650 555.5 c 0,39,40
   4.340 + 4650 544.5 4650 544.5 4645 539.5 c 128,-1,41
   4.341 + 4640 534.5 4640 534.5 4619 524.5 c 0,42,43
   4.342 + 4573 502.5 4573 502.5 4532.5 476 c 128,-1,44
   4.343 + 4492 449.5 4492 449.5 4463 425 c 128,-1,45
   4.344 + 4434 400.5 4434 400.5 4407.5 369.5 c 128,-1,46
   4.345 + 4381 338.5 4381 338.5 4365 316.5 c 128,-1,47
   4.346 + 4349 294.5 4349 294.5 4332.5 264.5 c 0,48,49
   4.347 + 4311.31 225.967 4311.31 225.967 4309.5 220.5 c 0,50,51
   4.348 + 4304.63 205.755 4304.63 205.755 4293 182.5 c 0,52,53
   4.349 + 4289 174.5 4289 174.5 4287 172 c 128,-1,54
   4.350 + 4285 169.5 4285 169.5 4277 164.5 c 0,55,56
   4.351 + 4269 160.5 4269 160.5 4257 160.5 c 0,57,58
   4.352 + 4243 160.5 4243 160.5 4233.5 167 c 128,-1,59
   4.353 + 4224 173.5 4224 173.5 4224 186.5 c 0,60,61
   4.354 + 4224 195.5 4224 195.5 4238.5 228.5 c 128,-1,62
   4.355 + 4253 261.5 4253 261.5 4280 308.5 c 128,-1,63
   4.356 + 4307 355.5 4307 355.5 4356.5 412.5 c 128,-1,64
   4.357 + 4406 469.5 4406 469.5 4464 511.5 c 1,65,-1
   4.358 + 2756 511.5 l 5,66,-1
   4.359 + 2735 511.5 l 6,67,68
   4.360 + 2725.08 511.875 l 4,69,70
   4.361 + 2715.96 511.875 l 4,71,-1
   4.362 + 2694 511.5 l 6,0,-1
   4.363 +EndSplineSet
   4.364 +EndChar
   4.365  EndChars
   4.366  EndSplineFont
     5.1 --- a/lib/fonts/IsabelleTextBold.sfd	Tue Dec 29 19:11:23 2015 +0100
     5.2 +++ b/lib/fonts/IsabelleTextBold.sfd	Tue Dec 29 20:58:18 2015 +0100
     5.3 @@ -20,7 +20,7 @@
     5.4  OS2_WeightWidthSlopeOnly: 0
     5.5  OS2_UseTypoMetrics: 1
     5.6  CreationTime: 1050374980
     5.7 -ModificationTime: 1446896348
     5.8 +ModificationTime: 1451417467
     5.9  PfmFamily: 17
    5.10  TTFWeight: 700
    5.11  TTFWidth: 5
    5.12 @@ -1678,10 +1678,10 @@
    5.13  DisplaySize: -96
    5.14  AntiAlias: 1
    5.15  FitToEm: 1
    5.16 -WinInfo: 9996 21 15
    5.17 +WinInfo: 8568 21 15
    5.18  BeginPrivate: 0
    5.19  EndPrivate
    5.20 -BeginChars: 1114115 1389
    5.21 +BeginChars: 1114115 1391
    5.22  
    5.23  StartChar: .notdef
    5.24  Encoding: 1114112 -1 0
    5.25 @@ -48157,32 +48157,83 @@
    5.26  
    5.27  StartChar: uni21E0
    5.28  Encoding: 8672 8672 1077
    5.29 -Width: 1233
    5.30 -Flags: W
    5.31 -LayerCount: 2
    5.32 -Fore
    5.33 -SplineSet
    5.34 -545 673 m 1,0,-1
    5.35 - 545 449 l 1,1,-1
    5.36 - 347 449 l 1,2,-1
    5.37 - 477 319 l 1,3,-1
    5.38 - 357 199 l 1,4,-1
    5.39 - 66 490 l 1,5,-1
    5.40 - 66 632 l 1,6,-1
    5.41 - 357 923 l 1,7,-1
    5.42 - 477 803 l 1,8,-1
    5.43 - 347 673 l 1,9,-1
    5.44 - 545 673 l 1,0,-1
    5.45 -670 449 m 1,10,-1
    5.46 - 670 673 l 1,11,-1
    5.47 - 857 673 l 1,12,-1
    5.48 - 857 449 l 1,13,-1
    5.49 - 670 449 l 1,10,-1
    5.50 -980 449 m 1,14,-1
    5.51 - 980 673 l 1,15,-1
    5.52 - 1167 673 l 1,16,-1
    5.53 - 1167 449 l 1,17,-1
    5.54 - 980 449 l 1,14,-1
    5.55 +Width: 6063
    5.56 +VWidth: 2220
    5.57 +Flags: W
    5.58 +HStem: 460 190<526.64 5893.39>
    5.59 +LayerCount: 2
    5.60 +Fore
    5.61 +SplineSet
    5.62 +5782.01 460.5 m 2,0,-1
    5.63 + 2171.84 460 l 1,1,-1
    5.64 + 2147.36 460.154 l 1,2,-1
    5.65 + 2137.21 460.241 l 1,3,-1
    5.66 + 2122.41 460 l 1,4,-1
    5.67 + 526.64 460 l 1,5,6
    5.68 + 533.536 452.388 533.536 452.388 539.674 445.246 c 0,7,8
    5.69 + 591.818 384.59 591.818 384.59 621.222 333.404 c 0,9,10
    5.70 + 649.427 284.306 649.427 284.306 665.429 249.104 c 0,11,12
    5.71 + 667.284 245.025 667.284 245.025 671.437 236.4 c 128,-1,13
    5.72 + 675.589 227.776 675.589 227.776 677.162 223.965 c 128,-1,14
    5.73 + 678.735 220.155 678.735 220.155 681.046 213.392 c 128,-1,15
    5.74 + 683.357 206.629 683.357 206.629 684.178 200.206 c 128,-1,16
    5.75 + 685 193.783 685 193.783 685 186 c 0,17,18
    5.76 + 685 168.111 685 168.111 676.078 150.264 c 128,-1,19
    5.77 + 667.155 132.417 667.155 132.417 650.239 122.268 c 0,20,21
    5.78 + 628.126 109 628.126 109 601 109 c 0,22,23
    5.79 + 562.875 109 562.875 109 541.438 130.438 c 0,24,25
    5.80 + 528.24 143.635 528.24 143.635 516.561 169.916 c 0,26,27
    5.81 + 469.006 272.477 469.006 272.477 399.263 349.194 c 0,28,29
    5.82 + 337.335 417.314 337.335 417.314 211.192 480.384 c 0,30,31
    5.83 + 202.353 484.803 202.353 484.803 195.21 489.565 c 128,-1,32
    5.84 + 188.149 494.273 188.149 494.273 182.31 499.278 c 0,33,34
    5.85 + 170.991 508.98 170.991 508.98 164.384 522.192 c 0,35,36
    5.86 + 157 536.96 157 536.96 157 555 c 0,37,38
    5.87 + 157 565.221 157 565.221 158.194 572.384 c 0,39,40
    5.88 + 159.313 579.101 159.313 579.101 161.486 584.891 c 128,-1,41
    5.89 + 163.659 590.682 163.659 590.682 165.713 594.27 c 128,-1,42
    5.90 + 167.767 597.858 167.767 597.858 171.056 601.384 c 128,-1,43
    5.91 + 174.346 604.91 174.346 604.91 176.034 606.284 c 128,-1,44
    5.92 + 177.722 607.658 177.722 607.658 180.939 609.888 c 128,-1,45
    5.93 + 184.156 612.117 184.156 612.117 184.4 612.3 c 0,46,47
    5.94 + 191.536 617.651 191.536 617.651 194.21 619.435 c 0,48,49
    5.95 + 197.794 621.824 197.794 621.824 215 631 c 2,50,-1
    5.96 + 216.025 631.547 l 1,51,-1
    5.97 + 217.073 632.046 l 2,52,53
    5.98 + 275.547 659.891 275.547 659.891 324.524 696.392 c 0,54,55
    5.99 + 373.814 733.128 373.814 733.128 403.127 763.236 c 0,56,57
   5.100 + 432.003 794.039 432.003 794.039 457.262 832.829 c 0,58,59
   5.101 + 486.682 878.009 486.682 878.009 492.775 891.939 c 0,60,61
   5.102 + 512.518 937.077 512.518 937.077 519.384 950.808 c 0,62,63
   5.103 + 524.259 960.558 524.259 960.558 526.768 964.739 c 0,64,65
   5.104 + 531.023 971.832 531.023 971.832 535.597 976.772 c 128,-1,66
   5.105 + 540.171 981.711 540.171 981.711 542.525 983.359 c 128,-1,67
   5.106 + 544.879 985.007 544.879 985.007 549.608 987.293 c 128,-1,68
   5.107 + 554.336 989.579 554.336 989.579 554.997 989.95 c 0,69,70
   5.108 + 574.642 1001 574.642 1001 601 1001 c 0,71,72
   5.109 + 630.778 1001 630.778 1001 653.299 985.591 c 0,73,74
   5.110 + 685 963.9 685 963.9 685 924 c 0,75,76
   5.111 + 685 916.203 685 916.203 684.179 909.776 c 128,-1,77
   5.112 + 683.357 903.348 683.357 903.348 681.052 896.6 c 128,-1,78
   5.113 + 678.746 889.851 678.746 889.851 677.167 886.032 c 128,-1,79
   5.114 + 675.589 882.212 675.589 882.212 671.444 873.611 c 128,-1,80
   5.115 + 667.298 865.01 667.298 865.01 665.429 860.896 c 0,81,82
   5.116 + 649.428 825.698 649.428 825.698 621.222 776.596 c 0,83,84
   5.117 + 591.768 725.32 591.768 725.32 539.529 665.086 c 0,85,86
   5.118 + 533.058 657.623 533.058 657.623 526.091 650 c 1,87,-1
   5.119 + 2122.05 650 l 1,88,-1
   5.120 + 2136.97 649.968 l 1,89,-1
   5.121 + 2148.09 649.97 l 1,90,-1
   5.122 + 2171.98 650 l 1,91,-1
   5.123 + 5781.99 650.5 l 2,92,93
   5.124 + 5799.17 650.502 5799.17 650.502 5810.19 649.929 c 0,94,95
   5.125 + 5825.98 649.098 5825.98 649.098 5845 643.245 c 0,96,97
   5.126 + 5876.03 633.694 5876.03 633.694 5892.12 608.234 c 0,98,99
   5.127 + 5906 586.265 5906 586.265 5906 555.5 c 128,-1,100
   5.128 + 5906 524.735 5906 524.735 5892.12 502.766 c 0,101,102
   5.129 + 5876.03 477.308 5876.03 477.308 5845 467.755 c 0,103,104
   5.130 + 5825.98 461.902 5825.98 461.902 5810.27 461.075 c 0,105,106
   5.131 + 5800.07 460.503 5800.07 460.503 5782.01 460.5 c 2,0,-1
   5.132  EndSplineSet
   5.133  EndChar
   5.134  
   5.135 @@ -48219,32 +48270,76 @@
   5.136  
   5.137  StartChar: uni21E2
   5.138  Encoding: 8674 8674 1079
   5.139 -Width: 1233
   5.140 -Flags: W
   5.141 -LayerCount: 2
   5.142 -Fore
   5.143 -SplineSet
   5.144 -688 673 m 1,0,-1
   5.145 - 886 673 l 1,1,-1
   5.146 - 756 803 l 1,2,-1
   5.147 - 876 923 l 1,3,-1
   5.148 - 1167 632 l 1,4,-1
   5.149 - 1167 490 l 1,5,-1
   5.150 - 876 199 l 1,6,-1
   5.151 - 756 319 l 1,7,-1
   5.152 - 886 449 l 1,8,-1
   5.153 - 688 449 l 1,9,-1
   5.154 - 688 673 l 1,0,-1
   5.155 -563 449 m 1,10,-1
   5.156 - 376 449 l 1,11,-1
   5.157 - 376 673 l 1,12,-1
   5.158 - 563 673 l 1,13,-1
   5.159 - 563 449 l 1,10,-1
   5.160 -253 449 m 1,14,-1
   5.161 - 66 449 l 1,15,-1
   5.162 - 66 673 l 1,16,-1
   5.163 - 253 673 l 1,17,-1
   5.164 - 253 449 l 1,14,-1
   5.165 +Width: 6062
   5.166 +VWidth: 2220
   5.167 +Flags: W
   5.168 +HStem: 460.5 190<174.096 5530.96>
   5.169 +LayerCount: 2
   5.170 +Fore
   5.171 +SplineSet
   5.172 +5855.56 623.662 m 0,0,1
   5.173 + 5867.07 618.897 5867.07 618.897 5878.09 608.726 c 0,2,3
   5.174 + 5901 587.581 5901 587.581 5901 555.25 c 0,4,5
   5.175 + 5901 523.127 5901 523.127 5881.06 503.188 c 0,6,7
   5.176 + 5869.86 491.98 5869.86 491.98 5840.97 478.223 c 0,8,9
   5.177 + 5798.13 457.739 5798.13 457.739 5760.42 433.074 c 128,-1,10
   5.178 + 5722.52 408.279 5722.52 408.279 5695.91 385.792 c 0,11,12
   5.179 + 5670.09 363.974 5670.09 363.974 5646.25 336.111 c 0,13,14
   5.180 + 5621.13 306.707 5621.13 306.707 5606.25 286.253 c 0,15,16
   5.181 + 5592.15 266.881 5592.15 266.881 5577.19 239.672 c 0,17,18
   5.182 + 5561.46 211.073 5561.46 211.073 5557.28 202.326 c 1,19,20
   5.183 + 5551.19 184.575 5551.19 184.575 5538.62 159.442 c 0,21,22
   5.184 + 5532.2 146.614 5532.2 146.614 5526.82 139.891 c 0,23,24
   5.185 + 5519.4 130.606 5519.4 130.606 5504.03 121.002 c 2,25,-1
   5.186 + 5499.81 118.634 l 2,26,27
   5.187 + 5481.04 109.25 5481.04 109.25 5457 109.25 c 0,28,29
   5.188 + 5427.22 109.25 5427.22 109.25 5404.7 124.659 c 0,30,31
   5.189 + 5373 146.352 5373 146.352 5373 186.25 c 0,32,33
   5.190 + 5373 193.878 5373 193.878 5373.77 200.169 c 128,-1,34
   5.191 + 5374.55 206.46 5374.55 206.46 5376.78 213.179 c 128,-1,35
   5.192 + 5379 219.899 5379 219.899 5380.48 223.633 c 128,-1,36
   5.193 + 5381.96 227.367 5381.96 227.367 5386 236.044 c 128,-1,37
   5.194 + 5390.04 244.722 5390.04 244.722 5391.81 248.766 c 0,38,39
   5.195 + 5407.41 284.269 5407.41 284.269 5435.78 333.654 c 0,40,41
   5.196 + 5465.25 384.958 5465.25 384.958 5517.99 445.69 c 0,42,43
   5.197 + 5524.23 452.878 5524.23 452.878 5530.99 460.261 c 1,44,-1
   5.198 + 2734.04 460.5 l 1,45,-1
   5.199 + 2724.12 460.875 l 1,46,-1
   5.200 + 2716.39 460.875 l 1,47,-1
   5.201 + 2694.44 460.5 l 1,48,-1
   5.202 + 285.011 460 l 2,49,50
   5.203 + 267.713 459.996 267.713 459.996 257.171 460.579 c 0,51,52
   5.204 + 241.952 461.424 241.952 461.424 223.002 467.255 c 0,53,54
   5.205 + 192.97 476.496 192.97 476.496 176.409 500.701 c 0,55,56
   5.206 + 161 523.223 161 523.223 161 555 c 128,-1,57
   5.207 + 161 586.777 161 586.777 176.409 609.299 c 0,58,59
   5.208 + 192.971 633.505 192.971 633.505 223.002 642.745 c 0,60,61
   5.209 + 241.954 648.576 241.954 648.576 257.181 649.422 c 0,62,63
   5.210 + 267.571 649.997 267.571 649.997 284.989 650 c 2,64,-1
   5.211 + 2694.05 650.5 l 1,65,-1
   5.212 + 2714.07 650.457 l 1,66,-1
   5.213 + 2724.66 650.224 l 1,67,-1
   5.214 + 2734.27 650.5 l 1,68,-1
   5.215 + 5530.96 650.261 l 1,69,70
   5.216 + 5524.24 657.616 5524.24 657.616 5517.99 664.81 c 0,71,72
   5.217 + 5465.25 725.541 5465.25 725.541 5435.78 776.846 c 0,73,74
   5.218 + 5407.41 826.241 5407.41 826.241 5391.81 861.734 c 0,75,76
   5.219 + 5390.06 865.726 5390.06 865.726 5386.01 874.44 c 128,-1,77
   5.220 + 5381.96 883.154 5381.96 883.154 5380.49 886.873 c 128,-1,78
   5.221 + 5379.02 890.591 5379.02 890.591 5376.78 897.332 c 128,-1,79
   5.222 + 5374.55 904.072 5374.55 904.072 5373.78 910.357 c 128,-1,80
   5.223 + 5373 916.642 5373 916.642 5373 924.25 c 0,81,82
   5.224 + 5373 942.139 5373 942.139 5381.92 959.986 c 128,-1,83
   5.225 + 5390.85 977.833 5390.85 977.833 5407.76 987.982 c 0,84,85
   5.226 + 5429.87 1001.25 5429.87 1001.25 5457 1001.25 c 0,86,87
   5.227 + 5492.87 1001.25 5492.87 1001.25 5514.19 982.972 c 2,88,-1
   5.228 + 5517.17 980.419 l 1,89,-1
   5.229 + 5519.72 977.44 l 2,90,91
   5.230 + 5530.57 964.788 5530.57 964.788 5541.67 939.806 c 0,92,93
   5.231 + 5570.54 873.646 5570.54 873.646 5610.61 817.737 c 0,94,95
   5.232 + 5647.05 765.794 5647.05 765.794 5688.23 730.442 c 0,96,97
   5.233 + 5731.27 693.483 5731.27 693.483 5768.94 670.057 c 0,98,99
   5.234 + 5806.14 646.919 5806.14 646.919 5855.56 623.662 c 0,0,1
   5.235  EndSplineSet
   5.236  EndChar
   5.237  
   5.238 @@ -68287,5 +68382,162 @@
   5.239   358 254 l 1,12,-1
   5.240  EndSplineSet
   5.241  EndChar
   5.242 +
   5.243 +StartChar: uni290E
   5.244 +Encoding: 10510 10510 1389
   5.245 +Width: 4863
   5.246 +VWidth: 2220
   5.247 +Flags: W
   5.248 +HStem: 460 190<526.64 4693.39>
   5.249 +LayerCount: 2
   5.250 +Fore
   5.251 +SplineSet
   5.252 +4582.01 460.5 m 2,0,-1
   5.253 + 2171.85 460 l 1,1,-1
   5.254 + 2147.36 460.154 l 1,2,-1
   5.255 + 2137.21 460.241 l 1,3,-1
   5.256 + 2122.41 460 l 1,4,-1
   5.257 + 526.64 460 l 1,5,6
   5.258 + 533.536 452.388 533.536 452.388 539.674 445.246 c 0,7,8
   5.259 + 591.818 384.59 591.818 384.59 621.222 333.404 c 0,9,10
   5.260 + 649.427 284.306 649.427 284.306 665.429 249.104 c 0,11,12
   5.261 + 667.284 245.025 667.284 245.025 671.437 236.4 c 128,-1,13
   5.262 + 675.589 227.776 675.589 227.776 677.162 223.965 c 128,-1,14
   5.263 + 678.735 220.155 678.735 220.155 681.046 213.392 c 128,-1,15
   5.264 + 683.357 206.629 683.357 206.629 684.178 200.206 c 128,-1,16
   5.265 + 685 193.783 685 193.783 685 186 c 0,17,18
   5.266 + 685 168.111 685 168.111 676.078 150.264 c 128,-1,19
   5.267 + 667.155 132.417 667.155 132.417 650.239 122.268 c 0,20,21
   5.268 + 628.126 109 628.126 109 601 109 c 0,22,23
   5.269 + 562.875 109 562.875 109 541.438 130.438 c 0,24,25
   5.270 + 528.24 143.635 528.24 143.635 516.561 169.916 c 0,26,27
   5.271 + 469.006 272.477 469.006 272.477 399.263 349.194 c 0,28,29
   5.272 + 337.335 417.314 337.335 417.314 211.192 480.384 c 0,30,31
   5.273 + 202.353 484.803 202.353 484.803 195.21 489.565 c 128,-1,32
   5.274 + 188.149 494.273 188.149 494.273 182.31 499.278 c 0,33,34
   5.275 + 170.991 508.98 170.991 508.98 164.384 522.192 c 0,35,36
   5.276 + 157 536.96 157 536.96 157 555 c 0,37,38
   5.277 + 157 565.221 157 565.221 158.194 572.384 c 0,39,40
   5.278 + 159.313 579.101 159.313 579.101 161.486 584.891 c 128,-1,41
   5.279 + 163.659 590.682 163.659 590.682 165.713 594.27 c 128,-1,42
   5.280 + 167.767 597.858 167.767 597.858 171.056 601.384 c 128,-1,43
   5.281 + 174.346 604.91 174.346 604.91 176.034 606.284 c 128,-1,44
   5.282 + 177.722 607.658 177.722 607.658 180.939 609.888 c 128,-1,45
   5.283 + 184.156 612.117 184.156 612.117 184.4 612.3 c 0,46,47
   5.284 + 191.536 617.651 191.536 617.651 194.21 619.435 c 0,48,49
   5.285 + 197.794 621.824 197.794 621.824 215 631 c 2,50,-1
   5.286 + 216.025 631.547 l 1,51,-1
   5.287 + 217.073 632.046 l 2,52,53
   5.288 + 275.547 659.891 275.547 659.891 324.524 696.392 c 0,54,55
   5.289 + 373.814 733.128 373.814 733.128 403.127 763.236 c 0,56,57
   5.290 + 432.003 794.039 432.003 794.039 457.262 832.829 c 0,58,59
   5.291 + 486.682 878.009 486.682 878.009 492.775 891.939 c 0,60,61
   5.292 + 512.518 937.077 512.518 937.077 519.384 950.808 c 0,62,63
   5.293 + 524.259 960.558 524.259 960.558 526.768 964.739 c 0,64,65
   5.294 + 531.023 971.832 531.023 971.832 535.597 976.772 c 128,-1,66
   5.295 + 540.171 981.711 540.171 981.711 542.525 983.359 c 128,-1,67
   5.296 + 544.879 985.007 544.879 985.007 549.608 987.293 c 128,-1,68
   5.297 + 554.336 989.579 554.336 989.579 554.997 989.95 c 0,69,70
   5.298 + 574.642 1001 574.642 1001 601 1001 c 0,71,72
   5.299 + 630.778 1001 630.778 1001 653.299 985.591 c 0,73,74
   5.300 + 685 963.9 685 963.9 685 924 c 0,75,76
   5.301 + 685 916.203 685 916.203 684.179 909.776 c 128,-1,77
   5.302 + 683.357 903.348 683.357 903.348 681.052 896.6 c 128,-1,78
   5.303 + 678.746 889.851 678.746 889.851 677.167 886.032 c 128,-1,79
   5.304 + 675.589 882.212 675.589 882.212 671.444 873.611 c 128,-1,80
   5.305 + 667.298 865.01 667.298 865.01 665.429 860.896 c 0,81,82
   5.306 + 649.428 825.698 649.428 825.698 621.222 776.596 c 0,83,84
   5.307 + 591.768 725.32 591.768 725.32 539.529 665.086 c 0,85,86
   5.308 + 533.058 657.623 533.058 657.623 526.091 650 c 1,87,-1
   5.309 + 2122.05 650 l 1,88,-1
   5.310 + 2136.97 649.968 l 1,89,-1
   5.311 + 2148.09 649.97 l 1,90,-1
   5.312 + 2171.98 650 l 1,91,-1
   5.313 + 4581.99 650.5 l 2,92,93
   5.314 + 4599.28 650.503 4599.28 650.503 4610.18 649.93 c 0,94,95
   5.315 + 4625.98 649.098 4625.98 649.098 4645 643.245 c 0,96,97
   5.316 + 4676.03 633.694 4676.03 633.694 4692.12 608.234 c 0,98,99
   5.317 + 4706 586.265 4706 586.265 4706 555.5 c 128,-1,100
   5.318 + 4706 524.735 4706 524.735 4692.12 502.766 c 0,101,102
   5.319 + 4676.04 477.308 4676.04 477.308 4645 467.755 c 0,103,104
   5.320 + 4625.98 461.902 4625.98 461.902 4610.23 461.073 c 0,105,106
   5.321 + 4599.77 460.504 4599.77 460.504 4582.01 460.5 c 2,0,-1
   5.322 +EndSplineSet
   5.323 +EndChar
   5.324 +
   5.325 +StartChar: uni290F
   5.326 +Encoding: 10511 10511 1390
   5.327 +Width: 4862
   5.328 +VWidth: 2220
   5.329 +Flags: W
   5.330 +HStem: 460 190<173.656 4330.97>
   5.331 +LayerCount: 2
   5.332 +Fore
   5.333 +SplineSet
   5.334 +4655.56 623.912 m 0,0,1
   5.335 + 4667.07 619.147 4667.07 619.147 4678.09 608.976 c 0,2,3
   5.336 + 4701 587.831 4701 587.831 4701 555.5 c 0,4,5
   5.337 + 4701 523.377 4701 523.377 4681.06 503.438 c 0,6,7
   5.338 + 4669.86 492.23 4669.86 492.23 4640.97 478.473 c 0,8,9
   5.339 + 4598.13 457.989 4598.13 457.989 4560.42 433.324 c 128,-1,10
   5.340 + 4522.52 408.528 4522.52 408.528 4495.91 386.042 c 0,11,12
   5.341 + 4470.1 364.224 4470.1 364.224 4446.25 336.361 c 0,13,14
   5.342 + 4421.13 306.958 4421.13 306.958 4406.25 286.503 c 0,15,16
   5.343 + 4392.15 267.13 4392.15 267.13 4377.19 239.922 c 0,17,18
   5.344 + 4361.46 211.319 4361.46 211.319 4357.28 202.576 c 1,19,20
   5.345 + 4351.19 184.828 4351.19 184.828 4338.62 159.692 c 0,21,22
   5.346 + 4332.2 146.864 4332.2 146.864 4326.82 140.141 c 0,23,24
   5.347 + 4319.4 130.857 4319.4 130.857 4304.03 121.252 c 2,25,-1
   5.348 + 4299.81 118.884 l 2,26,27
   5.349 + 4281.04 109.5 4281.04 109.5 4257 109.5 c 0,28,29
   5.350 + 4227.22 109.5 4227.22 109.5 4204.7 124.909 c 0,30,31
   5.351 + 4173 146.602 4173 146.602 4173 186.5 c 0,32,33
   5.352 + 4173 194.128 4173 194.128 4173.78 200.419 c 128,-1,34
   5.353 + 4174.55 206.71 4174.55 206.71 4176.78 213.429 c 128,-1,35
   5.354 + 4179 220.149 4179 220.149 4180.48 223.883 c 128,-1,36
   5.355 + 4181.97 227.617 4181.97 227.617 4186 236.294 c 128,-1,37
   5.356 + 4190.03 244.972 4190.03 244.972 4191.81 249.016 c 0,38,39
   5.357 + 4207.41 284.517 4207.41 284.517 4235.78 333.904 c 0,40,41
   5.358 + 4265.25 385.208 4265.25 385.208 4317.99 445.94 c 0,42,43
   5.359 + 4324.24 453.129 4324.24 453.129 4330.97 460.5 c 1,44,-1
   5.360 + 2734.04 460.5 l 1,45,-1
   5.361 + 2724.12 460.875 l 1,46,-1
   5.362 + 2716.39 460.875 l 1,47,-1
   5.363 + 2694.44 460.5 l 1,48,-1
   5.364 + 285.011 460 l 2,49,50
   5.365 + 267.683 459.996 267.683 459.996 257.171 460.579 c 0,51,52
   5.366 + 241.952 461.424 241.952 461.424 223.002 467.255 c 0,53,54
   5.367 + 192.97 476.496 192.97 476.496 176.409 500.701 c 0,55,56
   5.368 + 161 523.223 161 523.223 161 555 c 128,-1,57
   5.369 + 161 586.777 161 586.777 176.409 609.299 c 0,58,59
   5.370 + 192.971 633.505 192.971 633.505 223.002 642.745 c 0,60,61
   5.371 + 241.954 648.576 241.954 648.576 257.181 649.422 c 0,62,63
   5.372 + 267.571 649.997 267.571 649.997 284.989 650 c 2,64,-1
   5.373 + 2694.05 650.5 l 1,65,-1
   5.374 + 2714.07 650.457 l 1,66,-1
   5.375 + 2724.66 650.224 l 1,67,-1
   5.376 + 2734.27 650.5 l 1,68,-1
   5.377 + 4330.97 650.5 l 1,69,70
   5.378 + 4324.24 657.862 4324.24 657.862 4317.99 665.06 c 0,71,72
   5.379 + 4265.25 725.789 4265.25 725.789 4235.78 777.096 c 0,73,74
   5.380 + 4207.41 826.49 4207.41 826.49 4191.81 861.984 c 0,75,76
   5.381 + 4190.06 865.977 4190.06 865.977 4186.01 874.69 c 128,-1,77
   5.382 + 4181.96 883.404 4181.96 883.404 4180.49 887.123 c 128,-1,78
   5.383 + 4179.02 890.842 4179.02 890.842 4176.78 897.582 c 128,-1,79
   5.384 + 4174.55 904.322 4174.55 904.322 4173.78 910.607 c 128,-1,80
   5.385 + 4173 916.893 4173 916.893 4173 924.5 c 0,81,82
   5.386 + 4173 942.389 4173 942.389 4181.92 960.236 c 128,-1,83
   5.387 + 4190.85 978.083 4190.85 978.083 4207.76 988.232 c 0,84,85
   5.388 + 4229.87 1001.5 4229.87 1001.5 4257 1001.5 c 0,86,87
   5.389 + 4292.87 1001.5 4292.87 1001.5 4314.19 983.222 c 2,88,-1
   5.390 + 4317.17 980.669 l 1,89,-1
   5.391 + 4319.72 977.69 l 2,90,91
   5.392 + 4330.57 965.038 4330.57 965.038 4341.67 940.056 c 0,92,93
   5.393 + 4370.54 873.895 4370.54 873.895 4410.61 817.987 c 0,94,95
   5.394 + 4447.05 766.044 4447.05 766.044 4488.23 730.692 c 0,96,97
   5.395 + 4531.27 693.732 4531.27 693.732 4568.94 670.307 c 0,98,99
   5.396 + 4606.14 647.169 4606.14 647.169 4655.56 623.912 c 0,0,1
   5.397 +EndSplineSet
   5.398 +EndChar
   5.399  EndChars
   5.400  EndSplineFont
     6.1 --- a/lib/texinputs/isabellesym.sty	Tue Dec 29 19:11:23 2015 +0100
     6.2 +++ b/lib/texinputs/isabellesym.sty	Tue Dec 29 20:58:18 2015 +0100
     6.3 @@ -158,8 +158,12 @@
     6.4  \newcommand{\isasymint}{\isamath{\mathsf{Z}\mkern-7.5mu\mathsf{Z}}}
     6.5  \newcommand{\isasymleftarrow}{\isamath{\leftarrow}}
     6.6  \newcommand{\isasymlongleftarrow}{\isamath{\longleftarrow}}
     6.7 +\newcommand{\isasymlonglongleftarrow}{\isamath{\xleftarrow{\hphantom{AAA}}}}  %requires amsmath
     6.8 +\newcommand{\isasymlonglonglongleftarrow}{\isamath{\xleftarrow{\hphantom{AAAA}}}}  %requires amsmath
     6.9  \newcommand{\isasymrightarrow}{\isamath{\rightarrow}}
    6.10  \newcommand{\isasymlongrightarrow}{\isamath{\longrightarrow}}
    6.11 +\newcommand{\isasymlonglongrightarrow}{\isamath{\xrightarrow{\hphantom{AAA}}}}  %requires amsmath
    6.12 +\newcommand{\isasymlonglonglongrightarrow}{\isamath{\xrightarrow{\hphantom{AAAA}}}}  %requires amsmath
    6.13  \newcommand{\isasymLeftarrow}{\isamath{\Leftarrow}}
    6.14  \newcommand{\isasymLongleftarrow}{\isamath{\Longleftarrow}}
    6.15  \newcommand{\isasymRightarrow}{\isamath{\Rightarrow}}
     7.1 --- a/src/Doc/Isar_Ref/document/root.tex	Tue Dec 29 19:11:23 2015 +0100
     7.2 +++ b/src/Doc/Isar_Ref/document/root.tex	Tue Dec 29 20:58:18 2015 +0100
     7.3 @@ -1,6 +1,7 @@
     7.4  \documentclass[12pt,a4paper,fleqn]{report}
     7.5  \usepackage{lmodern}
     7.6  \usepackage[T1]{fontenc}
     7.7 +\usepackage{amsmath}
     7.8  \usepackage{amssymb}
     7.9  \usepackage{wasysym}
    7.10  \usepackage{eurosym}