> What I want is a semi-tangible expression tree that I can manipulate and "snapshot" (to show my work) into Latex. It definitely seems like there's a gap in t

> What I want is a semi-tangible expression tree that I can manipulate and "snapshot" (to show my work) into Latex. It definitely seems like there's a gap in the computer-math ecosystem: you've got systems like LaTeX that are great for typesetting math you've already mostly figured out, and you've got systems like SymPy that are good if you want the computer to do the vast majority of the work, but I'm not aware of much in between. It would be really cool if there was something like Photoshop for math, where you could work with expressions in a visual, semi-tangible way and the computer would give you "smart" tools to help you out.