[wmwmwm]

Although I haven't used LaTeX in decades to write anything substantial like a paper or dissertation, I recently had cause to use it to write up some homework for an online course I'm doing - mainly (pretty simple) maths proofs. After 20 years of not doing maths, my ability to faithfully rearrange handwritten equations from one line to another was even more rubbish that it was in my 20s! All sorts of dropped or flipped signs, terms and stray brackets would trip me up. Although initially sceptical, I found that doing this in LaTeX (with the ability to cut/paste to a new line and then manually 'refactor') was way more reliable. I think it tapped into my ability to do this semi-unconsciously when coding! (And with no dreaded page turns...)

However, it's still an effort to squint at all of LaTeX's curly brackets and long form symbol names, and LaTeX doesn't grok the equation of course.

Has anyone come across any tools out there that offer a similar experience for manually rearranging equations and somehow 'linting' as you go along? i.e. something that knows a bit more about precedence/structure etc? Even a intellij ctrl-W style shortcut (highlights chunks with increasing scope) would make it easier/quicker to do what I'm talking about.