Overline is not working well with capital letters
- Dominant language
- No language data
- Stars
- 42
- Forks
- 40
- PR merge metrics
- No merged PRs in 30d
Description
### Description
Overline does not render well for large letters. It overlaps with some capital letters such as X and is also too short
### (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
70a76ac5-e67b-4caa-8e6e-0a1397b355c3
### Paper URL
https://arxiv.org/html/2602.13917v1
### Browser
Chrome/145.0.0.0
### Device Type
Android
Contributor guide
Research direction
Reproduce the overline rendering issue using the linked paper in Chrome 145 on Android, focusing on large capital letters such as X and the overline length. Trace the formula-rendering frontend path that produces the displayed overline, then verify that it no longer overlaps capitals and spans the intended width.
Written by the indexing model from the issue text.
Assessment
- Domain
- frontend
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 38/100