feat: add Priority 1 symbols and negated relations#62
Closed
ChrisGVE wants to merge 5 commits intomgriebling:mainfrom
Closed
feat: add Priority 1 symbols and negated relations#62ChrisGVE wants to merge 5 commits intomgriebling:mainfrom
ChrisGVE wants to merge 5 commits intomgriebling:mainfrom
Conversation
2 3 Fix varsigma to use U+03C2 (Greek small letter final sigma ς) 4 instead of incorrect U+03C1 (Greek small letter rho ρ). 5 6 Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2 3 Add 20 new symbol mappings to supportedLatexSymbols dictionary: 4 5 Greek variants: 6 - varkappa (U+03F0), digamma (U+03DD), Digamma (U+03DC) 7 8 Arrows: 9 - longmapsto (U+27FC), hookrightarrow (U+21AA), hookleftarrow (U+21A9) 10 11 Slanted inequalities: 12 - leqslant (U+2A7D), geqslant (U+2A7E) 13 14 Precedence relations: 15 - preceq (U+2AAF), succeq (U+2AB0) 16 17 Turnstile relations: 18 - vdash (U+22A2), dashv (U+22A3), bowtie (U+22C8) 19 20 Binary operators: 21 - diamond (U+22C4) 22 23 Hebrew letters: 24 - beth (U+2136), gimel (U+2137), daleth (U+2138) 25 26 Miscellaneous: 27 - varnothing (U+2205), Box (U+25A1), measuredangle (U+2221) 28 29 Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2 3 Add 9 new test functions covering all Priority 1 symbol additions: 4 - testGreekVariants: varkappa, digamma, Digamma and existing variants 5 - testVarsigmaCorrectUnicode: verify varsigma maps to U+03C2 (final sigma) 6 - testNewArrows: longmapsto, hookrightarrow, hookleftarrow 7 - testSlantedInequalities: leqslant, geqslant 8 - testPrecedenceRelations: preceq, succeq 9 - testTurnstileRelations: vdash, dashv, bowtie 10 - testDiamondOperator: diamond binary operator 11 - testHebrewLetters: aleph, beth, gimel, daleth 12 - testMiscSymbols: varnothing, Box, measuredangle 13 14 Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2
3 Verify that \mathbb{} command works correctly for common letters
4 (N, Z, Q, R, C, H, P) and round-trips correctly to LaTeX string.
5
6 Note: \mathbb was already implemented in the codebase.
7
8 Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2 3 Add comprehensive set of negated relation symbols from amssymb: 4 5 Inequality negations (14): nless, ngtr, nleq, ngeq, nleqslant, 6 ngeqslant, lneq, gneq, lneqq, gneqq, lnsim, gnsim, lnapprox, gnapprox 7 8 Ordering negations (10): nprec, nsucc, npreceq, nsucceq, precneqq, 9 succneqq, precnsim, succnsim, precnapprox, succnapprox 10 11 Similarity/congruence negations (6): nsim, ncong, nmid, nshortmid, 12 nparallel, nshortparallel 13 14 Set relation negations (12): nsubseteq, nsupseteq, subsetneq, supsetneq, 15 subsetneqq, supsetneqq, varsubsetneq, varsupsetneq, varsubsetneqq, 16 varsupsetneqq, notni, nni 17 18 Triangle negations (4): ntriangleleft, ntriangleright, ntrianglelefteq, 19 ntrianglerighteq 20 21 Turnstile negations (4): nvdash, nvDash, nVdash, nVDash 22 23 Square subset negations (2): nsqsubseteq, nsqsupseteq 24 25 Also includes: 26 - Remove digamma/Digamma (not supported by Latin Modern Math font) 27 - Add SymbolRenderTests with visual render tests for Priority 1 symbols 28 and negated relations (28 test images total) 29 - Update testGreekVariants to exclude digamma 30 31 Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
This PR adds Priority 1 LaTeX symbols and 48 negated relation symbols from amssymb.
Priority 1 Symbol Additions
Bug Fix:
New Symbol Mappings (18 symbols):
Note: digamma (U+03DD) and Digamma (U+03DC) were initially added but removed as they are not supported by Latin Modern Math font.
Negated Relations (48 symbols)
\nless,\ngtr,\nleq,\ngeq,\nleqslant,\ngeqslant,\lneq,\gneq,\lneqq,\gneqq,\lnsim,\gnsim,\lnapprox,\gnapprox\nprec,\nsucc,\npreceq,\nsucceq,\precneqq,\succneqq,\precnsim,\succnsim,\precnapprox,\succnapprox\nsim,\ncong,\nmid,\nshortmid,\nparallel,\nshortparallel\nsubseteq,\nsupseteq,\subsetneq,\supsetneq,\subsetneqq,\supsetneqq,\varsubsetneq,\varsupsetneq,\varsubsetneqq,\varsupsetneqq,\notni,\nni\ntriangleleft,\ntriangleright,\ntrianglelefteq,\ntrianglerighteq\nvdash,\nvDash,\nVdash,\nVDash\nsqsubseteq,\nsqsupseteqTest Plan
Notes
🤖 Generated with Claude Code