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.