[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