Prooftree layout

### Description

I have generated proof trees with the package ebproofs. They render as intended in the PDF, but the HTML is unable to render them cleanly. The layout is totally messed up.

Further, I noticed a few symbols (\leqslant, \geqslant) rendered as LaTeX code and not as the actual symbols (or fallbacks).

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

6015fd1b-2089-4f21-a9ff-fe96e7941eb8

### Paper URL

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

### Browser

Safari/605.1.15

### Device Type

Desktop

Open the linked paper URL and inspect its HTML rendering in Safari, focusing on the ebproofs proof-tree layout and the \leqslant and \geqslant symbols. Done means the proof trees render cleanly and those symbols appear as symbols or documented fallbacks instead of raw LaTeX.

Written by the indexing model from the issue text.