That's pretty brilliant. I do wish I could edit the generated LaTeX in place to give it hints when it's gotten something slightly wrong.
I wonder if it has any contextual smarts (e.g., sees a partial derivative sign in a numerator, knows it should "vote up" interpretations of the denominator that start with another partial derivative sign).
I wonder if it has any contextual smarts (e.g., sees a partial derivative sign in a numerator, knows it should "vote up" interpretations of the denominator that start with another partial derivative sign).