Change mo to mspace (and remove extra mo) to avoid being an embellished operator more naturally. Issue #707.

This commit is contained in:
Davide P. Cervone 2014-02-14 07:58:01 -05:00
parent d28ab8b766
commit cce9256bf9

View File

@ -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,