diff --git a/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js b/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js index 0dbb1e617..385572bb7 100644 --- a/unpacked/jax/output/CommonHTML/fonts/TeX/fontdata.js +++ b/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 diff --git a/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js index 34f601574..25308c728 100644 --- a/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js +++ b/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 diff --git a/unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js index 385bd645a..3f7742d37 100644 --- a/unpacked/jax/output/HTML-CSS/fonts/TeX/fontdata.js +++ b/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 diff --git a/unpacked/jax/output/SVG/fonts/TeX/fontdata.js b/unpacked/jax/output/SVG/fonts/TeX/fontdata.js index c9fa2f51f..fec68a40c 100644 --- a/unpacked/jax/output/SVG/fonts/TeX/fontdata.js +++ b/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