This is super cool. When I was doing a lot of math-related typesetting I found that I got really fast with Emacs + AuCTeX. I have no idea of the state of that project, but if you were fast you go at nearly the speed at which you could write.