9 points RicoElectrico | 1 comments | 15 Mar 25 19:26 UTC | HN request time: 0.354s | source
Here's an idea for anyone in search for a project: Some papers define a lot of ad-hoc variable symbols. It would be easier to follow them if one could hover over a symbol used in an equation and see its definition, just like in an IDE.