[Webkit-unassigned] [Bug 170272] New: MathML: Extra left space for arrows inside <mo>
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Wed Mar 29 23:50:10 PDT 2017
https://bugs.webkit.org/show_bug.cgi?id=170272
Bug ID: 170272
Summary: MathML: Extra left space for arrows inside <mo>
Product: WebKit
Version: Safari Technology Preview
Hardware: Unspecified
OS: Unspecified
Status: NEW
Severity: Normal
Priority: P2
Component: MathML
Assignee: webkit-unassigned at lists.webkit.org
Reporter: lambda at liu.ms
Created attachment 305839
--> https://bugs.webkit.org/attachment.cgi?id=305839&action=review
An arrow operator with unnecessary left space
I note that there is a large, observable space before an arrow character inside a <mo> element, as in the attached document (basically $X \to Y$). More clearly, one can inspect the <mo> element in the Inspector to find the extra space to the left of an arrow. I am not sure if this is the result of ruling the <mo> as a prefix or postfix, but according to the specification for MathML 3, an operator in the middle of a <mrow> should be treated as an infix, given that all other lookup information is absent (https://www.w3.org/TR/MathML/chapter3.html#presm.formdefval).
The issue is tested against both Safari and Safari Technology Preview. I have installed STIX 2, but since Safari uses the old STIX fonts, this seems not a font-specific issue. I also tested the same code in Firefox, and the spacing is normal.
I have tested it against multiple arrow characters, from normal "RIGHTWARDS ARROW" to long right arrow to the $\mapsto$ arrow. The issue is of importance as people type morphisms everywhere ("Let $\phi: A \to B$ be ...").
--
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-unassigned/attachments/20170330/e059bcc7/attachment.html>
More information about the webkit-unassigned
mailing list