Merge branch 'issue707' into develop. Issue #707.
This commit is contained in:
commit
8cd2eec33d
|
@ -1671,7 +1671,8 @@
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
if (n) {this.Push(MML.mspace().With({depth:n}))}
|
if (n) {this.Push(MML.mspace().With({depth:n}))}
|
||||||
this.Push(MML.mo().With({linebreak:MML.LINEBREAK.NEWLINE}));
|
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,
|
emPerInch: 7.2,
|
||||||
|
|
Loading…
Reference in New Issue
Block a user