search

arXiv / html_feedback

Supports a student project developing a UI for feedback on arXiv articles rendered as html.
MIT License
14 stars 2 forks source link

bussproofs commands are not processed #1250

Open Twisol opened 2 months ago

Twisol commented 2 months ago

Description

The bussproofs-based inference rules in my paper submission don't seem to be rendered correctly, giving red unprocessed LaTeX commands instead of the expected horizontal rules separating premises from conclusions. I took a look at this page and noted that bussproofs is listed.

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

What it looks like in HTML: image

What it looks like in PDF: image

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

Formula

Internal issue ID

1c0bc1a6-d664-4a10-ae1a-7038893dabda

Paper URL

https://services.arxiv.org/html/submission/5596897/view

Browser

Firefox/123.0

Device Type

Desktop

github-actions[bot] commented 2 months ago

Hello @Twisol, thanks for the issue report! We are reviewing your report and will address it as soon as possible.