github-actions[bot]
commented
7 months ago Hello @TillBerlin, thanks for the issue report! We are reviewing your report and will address it as soon as possible.
Open TillBerlin opened 7 months ago
github-actions[bot]
commented
7 months ago Hello @TillBerlin, thanks for the issue report! We are reviewing your report and will address it as soon as possible.
Description
In this paper, the authors talk about $\exists \mathbb{R}$. Note that there is no space between \exists and \mathbb{R}. But in the HTML rendering well. Not a huge bug, but certainly we ird. to rea d. Don 't y ou t t hink?
(Optional:) Please add any files, screenshots, or other information here.
(Required) What is this issue most closely related to? Select one.
Choose One
Internal issue ID
a629c373-926c-4317-94f2-b11bebfa65e0
Paper URL
https://arxiv.org/html/2312.05010v1
Browser
Chrome/122.0.0.0
Device Type
Desktop