Tangential: syntax-highlighting math! This is the first time I’ve seen it. Not yet sure what I think about it, but I can definitely see the allure.
I am kind of wondering if a semantic highlighting makes sense as well. You often end up with some implicit assignment of lowercase latin, uppercase latin, lowercase greek letters and such for certain meanings. Kinematic - xyzt for position in time, T_i(I_i) for the quaternion or transformation representing a certain joint of a robot.
It takes a little bit of work to colour in equations but I hope more people start doing it (including me, I'd forgotten about it for a while)
But there's already such complex and varied typography in math I wonder if it would be kind of redundant. E.g. you don't need matching parentheses to be colored when they already come in different sets of matching heights.