bussproofs commands are not processed

### 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](https://corpora.mathweb.org/corpus/arxmliv/tex_to_html/info/loaded_file) and noted that `bussproofs` is listed.

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

What it looks like in HTML:

What it looks like in PDF:

### (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

Start with the paper URL and the bussproofs entry on the loaded_file page, then compare the HTML rendering with the provided PDF and screenshots. Trace how the bussproofs inference-rule commands are processed; done means the commands render horizontal rules separating premises from conclusions instead of red unprocessed LaTeX.

Written by the indexing model from the issue text.