Merge pull request #1521 from dpvc/issue1470

Make left arrow use combining left arrow for accents.  #1470

Author: dpvc

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",

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",

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",