Page MenuHomePhabricator

native: Rendering error in Letters written in Blackboard bold
Closed, ResolvedPublicBUG REPORT

Description

I'm usind the newest version of Chrome on Ubuntu 22.04.

In my browser letters in Blackboard bold are displayed incorrectly. The second stroke is missing.

image.png (227×535 px, 20 KB)

Picture is from example page https://de.wikipedia.beta.wmflabs.org/w/index.php?title=Intbar&stable=0&shownotice=1

Event Timeline

Change 979077 had a related patch set uploaded (by Stegmujo; author: Stegmujo):

[mediawiki/extensions/Math@master] Fix bold letters

https://gerrit.wikimedia.org/r/979077

Firefox renders the letters correctly, MathJax has the same MathML output like WikiTexVC for this case. The problem on Chrome is most probably related to the fonts.

MathJax rendering:

<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow data-mjx-texclass="ORD">
    <mi mathvariant="double-struck">N</mi>
  </mrow>
</math>

WikiTexVC Rendering:

<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow data-mjx-texclass="ORD">
      <mi mathvariant="double-struck">N</mi>
....

While filing the bug report I realized that mathvariant might not be the way to go but using the corresponding UTF-8 symbols https://www.w3.org/TR/mathml-core/#dfn-mathvariant

LaTeXML generates the following HTML code

<math id="p1.1.m1.1" class="ltx_Math" alttext="\mathbb{E}" display="inline"><semantics id="p1.1.m1.1a"><mi id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">𝔼</mi><annotation-xml encoding="MathML-Content" id="p1.1.m1.1b"><ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">𝔼</ci></annotation-xml><annotation encoding="application/x-tex" id="p1.1.m1.1c">\mathbb{E}</annotation><annotation encoding="application/x-llamapun" id="p1.1.m1.1d">blackboard_E</annotation></semantics></math>

this seems to work in both FF and chrome.

Change 979077 merged by jenkins-bot:

[mediawiki/extensions/Math@master] Fix double-struck letters in chrome

https://gerrit.wikimedia.org/r/979077

Screenshot 2023-12-02 at 13.09.12.png (264×606 px, 36 KB)

PS, if I sent the font size to 120% it looks more like the current SVG images that also use 120%

Screenshot 2023-12-02 at 13.12.13.png (544×1 px, 129 KB)