Merge pull request #1546 from dpvc/issue1544

Add stretchy data for U+20D7.  #1544

Author: dpvc

unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js

@@ -539,6 +539,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

unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js

@@ -379,6 +379,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

unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js

@@ -526,6 +526,7 @@
         0x2015: {alias: 0x2013, dir:H}, // horizontal line
         0x2017: {alias: 0x2013, 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

unpacked/jax/output/SVG/fonts/TeX/fontdata.js

@@ -521,6 +521,7 @@
         0x2015: {alias: 0x2013, dir:H}, // horizontal line
         0x2017: {alias: 0x2013, dir:H}, // horizontal line
         0x203E: {alias: 0x00AF, dir:H}, // over line
+        0x20D7: {alias: 0x2192, dir:H}, // combining over right arrow (vector arrow)
         0x2215: {alias: 0x002F, dir:V}, // division slash
         0x2329: {alias: 0x27E8, dir:V}, // langle
         0x232A: {alias: 0x27E9, dir:V}, // rangle