Skip to content

Fix \lVert and \rVert as well#761

Merged
tmke8 merged 1 commit intomainfrom
fix-lVert-rVert-too
Jan 8, 2026
Merged

Fix \lVert and \rVert as well#761
tmke8 merged 1 commit intomainfrom
fix-lVert-rVert-too

Conversation

@tmke8
Copy link
Copy Markdown
Owner

@tmke8 tmke8 commented Jan 8, 2026

closes #735

@tmke8 tmke8 enabled auto-merge (squash) January 8, 2026 14:04
@github-actions
Copy link
Copy Markdown

github-actions bot commented Jan 8, 2026

Wasm sizes:
Base branch: 118894 bytes
PR: 118894 bytes
Size diff: 0 bytes (0.00%)

@tmke8 tmke8 merged commit ca0c292 into main Jan 8, 2026
12 checks passed
@tmke8 tmke8 deleted the fix-lVert-rVert-too branch January 8, 2026 14:06
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.

\lvert and \lVert should be Token::Open (and the r variants Token::Close)

1 participant