[WiP] Leavehorizontal#2798
Open
brucemiller wants to merge 24 commits into
Open
Commits
Commits on May 21, 2026
- committed
- committed
- committed
- committed
- committed
- committed
Make sure arg of \underline,\overline are in restricted_horizontal; adjust size to account for lines
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 26, 2026
- committed
- committed
- committed
- committed
- committed