Skip to content

LaTeX reader: limits of \mathop{x} and both scripts of \overbrace/\underbrace - #9

Merged
simonebortolin merged 4 commits into
mainfrom
claude/latex-limits-dacdf3
Nov 9, 2026
Merged

simonebortolin merged 4 commits into
mainfrom
claude/latex-limits-dacdf3

Conversation

@simonebortolin

Copy link
Copy Markdown
Owner

Stacked on #4.

  • \mathop{x} of a single symbol (not a name) becomes the group {x}, so \mathop{x}\limits_0^1 gives munderover(x, 0, 1) instead of the limits on nothing after an operator name.
  • \overbrace and \underbrace followed by both scripts are read, as TeX reads them, as operators with limits: \overbrace3^a_x → \underset{x}{\overset{a}{\overbrace{3}}}, i.e. munderover(mover(3,⏞), x, a) (unbraced arguments too). With one script nothing changes.
  • issue-125-4-limits, overbrace-c, underbrace-c removed from NotReadYet; regression cases in LaTeXReaderTests (each with its written LaTeX read back, which is stable).

No snapshot was corrected. Full suite passes (net10.0 and net481, 5342 tests).

🤖 Generated with Claude Code

… \underbrace

\mathop of one symbol is a group, to which \limits attaches its scripts
(munderover(x, 0, 1)); \overbrace and \underbrace with both scripts are, as
for TeX, operators with limits: \underset{x}{\overset{a}{\overbrace{3}}}.
The latex2mathml cases issue-125-4-limits, overbrace-c and underbrace-c pass.

[no-new-version]

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@simonebortolin
simonebortolin changed the base branch from claude/latex-corpus-tests to main November 8, 2026 14:21
simonebortolin and others added 2 commits November 8, 2026 15:23
…acdf3

# Conflicts:
#	tests/SharpEquations.Tests/LaTeX/Latex2MathMLCorpusTests.cs
…s out of NotInWordLaTeX

[no-new-version]

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Nov 8, 2026 •

Copy link
Copy Markdown

Pre-release removed now that this PR is closed.

@simonebortolin
simonebortolin added this pull request to stack #21 November 9, 2026 19:04
@simonebortolin
simonebortolin merged commit d53b57e into main Nov 9, 2026
17 checks passed
@simonebortolin
simonebortolin deleted the claude/latex-limits-dacdf3 branch November 9, 2026 19:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants