Make left arrow use combining left arrow for accents (consistent with right arrow).

2016-06-14 13:41:32 -04:00 · 2016-06-14 13:41:32 -04:00 · a1c40e7a02
commit a1c40e7a02
parent 97b9fbcfab
2 changed files with 2 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",