Skip to content

[203_33] 修复 varlimsup/varliminf 的 LaTeX 导入和选择性粘贴#3794

Merged
da-liii merged 2 commits into
MoganLab:mainfrom
Sam-Hui-dot:Sam/203_33/fix-latex-import-varlimsup-varliminf
Jun 24, 2026
Merged

[203_33] 修复 varlimsup/varliminf 的 LaTeX 导入和选择性粘贴#3794
da-liii merged 2 commits into
MoganLab:mainfrom
Sam-Hui-dot:Sam/203_33/fix-latex-import-varlimsup-varliminf

Conversation

@Sam-Hui-dot

Copy link
Copy Markdown
Contributor

[203_33] 修复 varlimsup/varliminf 的 LaTeX 导入和选择性粘贴

@
[203_33] 更新任务文档:补充 LaTeX 导入修复
@
@
[203_33] 修复 varlimsup/varliminf 的 LaTeX 导入解析

在 latex_symbol_to_tree() 中将 varlimsup/varliminf 转换为 compound 节点,
使其在 LaTeX 导入时正确渲染而非被当作普通字符串。
@
@Sam-Hui-dot Sam-Hui-dot force-pushed the Sam/203_33/fix-latex-import-varlimsup-varliminf branch from fc20980 to 46802ce Compare June 23, 2026 16:43

@yinyuscloor yinyuscloor left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@da-liii da-liii merged commit 02172e7 into MoganLab:main Jun 24, 2026
4 checks passed
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.

3 participants