diff --git a/unpacked/jax/input/TeX/jax.js b/unpacked/jax/input/TeX/jax.js index 85714592b..27c7a25a3 100644 --- a/unpacked/jax/input/TeX/jax.js +++ b/unpacked/jax/input/TeX/jax.js @@ -1672,6 +1672,7 @@ } else { if (n) {this.Push(MML.mspace().With({depth:n}))} this.Push(MML.mo().With({linebreak:MML.LINEBREAK.NEWLINE})); + this.Push(MML.mo()); // make sure we don't look like an embellished operator (#707) } }, emPerInch: 7.2,