1789583 - Preliminary update of the MathML Operator Dictionary

Status: RESOLVED FIXED

(Core :: MathML, enhancement)

Comment 1

[Frédéric Wang (:fredw)]

Attachment: Bug 1789583: Preliminary update of the MathML Operator Dictionary. r=emilio

This is a first step towards aligning our dictionary with MathML Core.
non-BMP Arabic characters are not integrated yet and obsolete entries
are preserved. Here is the details of how the update was
semi-automatically performed:

1. Changed the URL of unicode.xml that is used by WPT and MathML Core.

2. Called ./updateOperatorDictionary.pl download to fetch unicode.xml
   and generate dictionary.xml.

3. Called ./updateOperatorDictionary.pl compare to generate
   differences.txt and new_dictionary.txt. The following summary is
   provided by the script:

• 197 obsolete entries (22 of them are related to stretching)
• 565 unchanged entries
• 364 conflicting entries (90 of them are related to stretching)
• 248 new entries (120 of them are related to stretching)

4. Copied new_dictionary.txt into mathfonts.properties, keeping
   the obsolete entries at the end and removing the
   U+1EEF0 ARABIC MATHEMATICAL OPERATOR MEEM WITH HAH WITH TATWEEL
   and U+1EEF1 ARABIC MATHEMATICAL OPERATOR HAH WITH DAL
   (non-BMP entries don't seem to be handled well by the Perl script).

5. Ran ./updateOperatorDictionary.pl compare again:

• 197 obsolete entries (22 of them are related to stretching)
• 1173 unchanged entries
• 2 conflicting entries (0 of them are related to stretching)
• 2 new entries (1 of them are related to stretching)

The 2 new entries are the non-BMP Arabic characters mentioned
above. The 2 remaining conflicting entries are U+2215 DIVISION
SLASH and U+221A SQUARE ROOT which lose their "mirrorable" property
during conversion via the stylesheet operatorDictionary.xsl because
they don't have any other operator properties. Let's keep them as
"mirrorable", this notion is not part of the current version of MathML
Core anyway.

6. Ran ./updateOperatorDictionary.pl check and got errors
   "operator has a stretchy form, but all forms have not the same
   direction" for operators U+2295, U+2296, U+2297, U+2299. Add
   missing direction:vertical to them. After running again, no
   errors are found.

7. Ran ./updateOperatorDictionary.pl clean to remove temporay files.

Comment 2

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/6353ed04e5a6
Preliminary update of the MathML Operator Dictionary. r=emilio

Comment 3

[Noemi Erli[:noemi_erli]]

Backed out changeset 6353ed04e5a6 (Bug 1789583) for causing failures in mirror-op-3.html CLOSED TREE

Push with failures: https://treeherder.mozilla.org/jobs?repo=autoland&group_state=expanded&collapsedPushes=842382&selectedTaskRun=cxFxndnrRiWd4PUeRqEOPA.0&resultStatus=testfailed%2Cbusted%2Cexception%2Cretry%2Cusercancel&revision=6353ed04e5a6cc891d5bcee9b70956f12d9bd494

Log: https://treeherder.mozilla.org/logviewer?job_id=390083260&repo=autoland&lineNumber=7527

Backout: https://hg.mozilla.org/integration/autoland/rev/3646b9905341398623ab73876dcc96a14b8ebf3e

Comment 4

[Frédéric Wang (:fredw)]

oops, I forgot to take care of U+2215 DIVISION SLASH and U+221A SQUARE ROOT again after my last change... will take do it now.

Comment 5

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/58c723944e47
Preliminary update of the MathML Operator Dictionary. r=emilio

Comment 6

[Iulian Moraru]

https://hg.mozilla.org/mozilla-central/rev/58c723944e47