I've been using #AnnotatedEquations in my recent papers. I think it really adds to the readability and understanding of the math.

Here are some examples. It uses #tikz in #latex.

Let me know if you like it. Happy for any feedback.

@sibin This looks great. This makes me want to write something just so that I can try it out.
You might have already known this, but Will Crichton also has a lot of great ideas along this line. He presented this in the HATRA workshop last year: https://willcrichton.net/nota/
A New Medium for Communicating Research on Programming Languages

@sibin I don't think it's for LaTeX though!

@liyao oh cool! I didn’t know of it, will check it out.

Let me know how your experience is.