This is pretty amazing. I regularly use LaTeX for typesetting homework at school but have never been able to keep up during lectures. I'll have to look into including this in my workflow.