From 947d1556ea1280f0b11fbf1572ac6eb37440cae2 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Tue, 14 Jun 2016 13:50:38 -0400 Subject: [PATCH] Make left arrow use combining left arrow for accents (consistent with right arrow). --- unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js | 1 + 1 file changed, 1 insertion(+) diff --git a/unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js b/unpacked/jax/output/SVG/fonts/STIX-Web/fontdata.js index f45dfaee6..a2a26eb45 100644 --- 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",