diff --git a/unpacked/jax/input/TeX/jax.js b/unpacked/jax/input/TeX/jax.js index 3e761bedd..825751f3d 100644 --- a/unpacked/jax/input/TeX/jax.js +++ b/unpacked/jax/input/TeX/jax.js @@ -421,7 +421,8 @@ remap: { '-': '2212', - '*': '2217' + '*': '2217', + '`': '2018', // map ` to back quote }, mathchar0mi: {