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