From 47a072fae6ea619800947d64af02a1549b7e16cc Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Mon, 4 Jul 2016 11:36:05 -0400
Subject: [PATCH] Add stretchy data for U+20D7 to HTML-CSS, CHTML, SVG data for
 TeX and STIX fonts.  Other fonts already have it.  Resolves issue #1544.

---
 unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js | 1 +
 unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js  | 1 +
 unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js   | 1 +
 unpacked/jax/output/SVG/fonts/TeX/fontdata.js        | 1 +
 4 files changed, 4 insertions(+)

diff --git a/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js b/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js
index 76687a0b9..edd0bf85d 100644
--- a/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js
+++ b/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js
@@ -538,6 +538,7 @@
       0x2015: {alias: 0x2212, dir:H}, // horizontal line
       0x2017: {alias: 0x2212, dir:H}, // horizontal line
       0x203E: {alias: 0x00AF, dir:H}, // overline
+      0x20D7: {alias: 0x2192, dir:H}, // combinining over right arrow (vector arrow)
       0x2215: {alias: 0x002F, dir:V}, // division slash
       0x2329: {alias: 0x27E8, dir:V}, // langle
       0x232A: {alias: 0x27E9, dir:V}, // rangle
diff --git a/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js
index 920de949a..31c162e44 100644
--- a/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js
+++ b/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js
@@ -376,6 +376,7 @@
         0x0332: {alias: 0x23AF, dir:H}, // combining low line
         0x2015: {alias: 0x23AF, dir:H}, // horizontal line
         0x2017: {alias: 0x23AF, dir:H}, // horizontal line
+        0x20D7: {alias: 0x2192, dir:H}, // combinining over right arrow (vector arrow)
         0x2212: {alias: 0x23AF, dir:H}, // minus
         0x2215: {alias: 0x002F, dir:V}, // division slash
         0x2329: {alias: 0x27E8, dir:V}, // langle
diff --git a/unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js
index 4164da5c2..5b8042141 100644
--- a/unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js
+++ b/unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js
@@ -520,6 +520,7 @@
         0x2015: {alias: 0x2212, dir:H}, // horizontal line
         0x2017: {alias: 0x2212, dir:H}, // horizontal line
         0x203E: {alias: 0x00AF, dir:H}, // overline
+        0x20D7: {alias: 0x2192, dir:H}, // combinining over right arrow (vector arrow)
         0x2215: {alias: 0x002F, dir:V}, // division slash
         0x2329: {alias: 0x27E8, dir:V}, // langle
         0x232A: {alias: 0x27E9, dir:V}, // rangle
diff --git a/unpacked/jax/output/SVG/fonts/TeX/fontdata.js b/unpacked/jax/output/SVG/fonts/TeX/fontdata.js
index 752df6866..f2ca89caf 100644
--- a/unpacked/jax/output/SVG/fonts/TeX/fontdata.js
+++ b/unpacked/jax/output/SVG/fonts/TeX/fontdata.js
@@ -514,6 +514,7 @@
         0x0332: {alias: 0x2212, dir:H}, // combining low line
         0x2015: {alias: 0x2212, dir:H}, // horizontal line
         0x2017: {alias: 0x2212, dir:H}, // horizontal line
+        0x20D7: {alias: 0x2192, dir:H}, // combining over right arrow (vector arrow)
         0x203E: {alias: 0x00AF, dir:H}, // over line
         0x2215: {alias: 0x002F, dir:V}, // division slash
         0x2329: {alias: 0x27E8, dir:V}, // langle