From 9f14997b79653e5ee47da33a7c532e787165cfcc Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Sat, 17 Jan 2015 08:25:14 -0500 Subject: [PATCH] Make \overline{\lim_{x}} have correct spacing for overline with Firefox. Issue #490. --- unpacked/jax/input/TeX/jax.js | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/unpacked/jax/input/TeX/jax.js b/unpacked/jax/input/TeX/jax.js index 875d57ba0..c6abbde57 100644 --- a/unpacked/jax/input/TeX/jax.js +++ b/unpacked/jax/input/TeX/jax.js @@ -1430,8 +1430,10 @@ var pos = {o: "over", u: "under"}[name.charAt(1)]; var base = this.ParseArg(name); if (base.Get("movablelimits")) {base.movablelimits = false} - if (base.isa(MML.munderover) && base.isEmbellished()) - {base = MML.mrow(MML.mo().With({rspace:0}),base)} // add an empty so it's not embellished any more + if (base.isa(MML.munderover) && base.isEmbellished()) { + base.Core().With({lspace:0,rspace:0}); // get spacing right for NativeMML + base = MML.mrow(MML.mo().With({rspace:0}),base); // add an empty so it's not embellished any more + } var mml = MML.munderover(base,null,null); mml.SetData( mml[pos],