github-actions[bot]
commented
3 hours ago Hello @hughrthomas, thanks for the issue report! We are reviewing your report and will address it as soon as possible.
Open hughrthomas opened 3 hours ago
github-actions[bot]
commented
3 hours ago Hello @hughrthomas, thanks for the issue report! We are reviewing your report and will address it as soon as possible.
Description
We use some cyrillic characters in arXiv:1907.08050. They have silently disappeared from the html version. See, for example, the statement of Theorem 1.2.
(Optional:) Please add any files, screenshots, or other information here.
No response
(Required) What is this issue most closely related to? Select one.
Formula
Internal issue ID
da77d99b-0426-4d87-9bd0-9bdbf332031a
Paper URL
https://services.arxiv.org/html/submission/5941157/view
Browser
Chrome/129.0.0.0
Device Type
Desktop