arXiv / arXiv/html_feedback

thmtools restatable(*) environment(s) not supported

Open
#2,959 2 comments 1 reaction 0 assignees View on GitHub
latexml
Dominant language
No language data
Stars
42
Forks
40
PR merge metrics
No merged PRs in 30d

Description

### Description

The thmtools `restatable`/`restatable*` environments are currently not accounted for in `thmtools.sty.latexml` (as far as I can tell). Compiling to xml results in a undefined environment error. For instance, ([https://arxiv.org/html/2412.11138v1](2412.11138v1) will demonstrate this---the paper is not mine, I just google searched for arXiv papers with the issue.

Appendix B of implemented bindings in the LatexML manual suggests that this package is supported. Perhaps a disclaimer and potential work-arounds to such errors can be mentioned?

Thanks for the impressive work, just pointing out one personal roadblock to my own use of LatexML. I understand the priority is coverage.

### (Optional:) Please add any files, screenshots, or other information here.

_No response_

### (Required) What is this issue most closely related to? Select one.

Other

### Internal issue ID

56033622-db47-454a-a8c7-7f7a7571d45e

### Paper URL

https://arxiv.org/html/2412.11138v1

### Browser

Firefox/133.0

### Device Type

Desktop

Contributor guide

Open the contributing guide

Research direction

Start by reproducing the undefined-environment error with the linked arXiv paper and inspect the referenced thmtools.sty.latexml binding. Done means the thmtools restatable and restatable* environments no longer fail during XML compilation, or that the limitation and a workaround are documented.

Written by the indexing model from the issue text.

Assessment

Tech stack
latex
Domain
tooling
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.