From cce9256bf997b44a042b06d8b76f3230d6f6fc34 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Fri, 14 Feb 2014 07:58:01 -0500 Subject: [PATCH] Change mo to mspace (and remove extra mo) to avoid being an embellished operator more naturally. Issue #707. --- unpacked/jax/input/TeX/jax.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/unpacked/jax/input/TeX/jax.js b/unpacked/jax/input/TeX/jax.js index 27c7a25a3..82f7bdf5c 100644 --- a/unpacked/jax/input/TeX/jax.js +++ b/unpacked/jax/input/TeX/jax.js @@ -1671,8 +1671,8 @@ } } 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) + this.Push(MML.mspace().With({linebreak:MML.LINEBREAK.NEWLINE})); +// this.Push(MML.mo()); // make sure we don't look like an embellished operator (#707) } }, emPerInch: 7.2,