This project is aimed at extending MathJax to include equation annotations. The objective is to provide a way to co-locate, in long proofs, a math equation and a textual explanation of how it was derived from the equations preceding it.
This project is aimed at extending MathJax to include equation annotations. The objective is to provide a way to co-locate, in long proofs, a math equation and a textual explanation of how it was derived from the equations preceding it.