diff --git a/unpacked/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/STIX-Web/fontdata.js index 6514528be..461cd2f44 100644 --- 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", diff --git a/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js index 42c76c757..920de949a 100644 --- 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",