[simonebortolin]

Reads the last ids of NotReadYet in Latex2MathMLCorpusTests (lg, liminf, limsup, injlim, projlim, varinjlim, operatornamewithlimits, operatorname-star). NotReadYet is now empty.

Note: #22 covers the same ids with different choices (U+2006, \varinjlim as inj lim, msub in display, no snapshot corrections). Only one of the two can land without conflicts.

• \lg is a function name like \log.
• A name UnicodeMath does not know, with the function apply sign and scripts but nothing to apply it to (argmax⁡_𝑥, argmax⁡┬𝑥), reads as the name with its scripts, not as its letters. This is two added alternatives in UnicodeMathGrammar.parlot.cs.
  • A lone lg⁡ or lim inf⁡ reads as main reads NaN⁡: one name, with the sign after it.
  • The UnicodeMath writer writes the sign after such a name when nothing follows it, so it reads back.
  • Names UnicodeMath knows (lim⁡, lim⁡_(a→∞)) keep the reading of UnicodeMathML; the 738 examples still pass.
• \liminf, \limsup, \injlim, \projlim read as one name with the thin space of TeX (lim inf). UnicodeMath reads it like lim, and the LaTeX writer writes it back as \liminf…
• \varinjlim and \varprojlim are lim with an arrow under it, as amsmath draws them, and are written back as such. \varliminf and \varlimsup are lim underlined and overlined.
• In a display equation, the limits go under the name for \operatorname*, \operatornamewithlimits, the names above and \lim, also with nothing after it.
  • Side effect: \lim^2_x f puts the 2 over lim and the x under it, as TeX does. The MathML then has no ⁡ before f; it still reads back the same.
• Seven latex2mathml snapshots are corrected, with a sentence in tests/data/README.md: liminf, limsup, injlim, projlim, varinjlim, operatorname-star, operatornamewithlimits.
• The unknown-command tests use \tr and \Var instead of \lg and \liminf.

Tests: new ReadsOperatorNamesOfAmsmath (17 cases, inline and display). It checks the MathML and that the LaTeX and the UnicodeMath written for each case read back to the same equation. Full suite: 6792/6792 on net10.0 and net481. VersionPrefix is unchanged.

Not covered: \varinjlim_{i} A_i reads correctly, but the UnicodeMath writer still cannot write that nested munder, as before this change.

🤖 Generated with Claude Code

[github-actions]

Pre-release 1.0.5-pr.27.67 is ready: https://github.com/simonebortolin/SharpEquations/releases/tag/pr-27-67-1

NuGet package of 8136a02. Updated on every push, deleted when this PR is closed.