<html>
<head>
<base href="https://bugs.webkit.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - MathML: Extra left space for arrows inside <mo>"
href="https://bugs.webkit.org/show_bug.cgi?id=170272">170272</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>MathML: Extra left space for arrows inside <mo>
</td>
</tr>
<tr>
<th>Product</th>
<td>WebKit
</td>
</tr>
<tr>
<th>Version</th>
<td>Safari Technology Preview
</td>
</tr>
<tr>
<th>Hardware</th>
<td>Unspecified
</td>
</tr>
<tr>
<th>OS</th>
<td>Unspecified
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>Normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P2
</td>
</tr>
<tr>
<th>Component</th>
<td>MathML
</td>
</tr>
<tr>
<th>Assignee</th>
<td>webkit-unassigned@lists.webkit.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>lambda@liu.ms
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=305839" name="attach_305839" title="An arrow operator with unnecessary left space">attachment 305839</a> <a href="attachment.cgi?id=305839&action=edit" title="An arrow operator with unnecessary left space">[details]</a></span>
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 (<a href="https://www.w3.org/TR/MathML/chapter3.html#presm.formdefval">https://www.w3.org/TR/MathML/chapter3.html#presm.formdefval</a>).
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 ...").</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are the assignee for the bug.</li>
</ul>
</body>
</html>