Merge pull request #1521 from dpvc/issue1470

Make left arrow use combining left arrow for accents. #1470
2016-06-15 16:53:22 -04:00 · 2016-06-15 16:53:22 -04:00 · 3a41708375
commit 3a41708375
parent 6e3b6716f8 947d1556ea
3 changed files with 3 additions and 0 deletions
--- a/unpacked/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js
+++ b/unpacked/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js
@ -246,6 +246,7 @@
      REMAPACCENT: {
        "\u007E": "\u0303",
        "\u2192": "\u20D7",
+        "\u2190": "\u20D6",
        "\u0060": "\u0300",
        "\u005E": "\u0302",
        "\u00B4": "\u0301",
--- a/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js
+++ b/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js
@ -140,6 +140,7 @@
      REMAPACCENT: {
        "\u007E": "\u0303",
        "\u2192": "\u20D7",
+        "\u2190": "\u20D6",
        "\u0060": "\u0300",
        "\u005E": "\u0302",
        "\u00B4": "\u0301",
--- a/unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js
+++ b/unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js
@ -243,6 +243,7 @@
      REMAPACCENT: {
        "\u007E": "\u0303",
        "\u2192": "\u20D7",
+        "\u2190": "\u20D6",
        "\u0060": "\u0300",
        "\u005E": "\u0302",
        "\u00B4": "\u0301",