This is pretty cool, although it doesn't seem very efficient if you goal is to write TeX. It would be interesting see how well it works to OCR hand-written not

This is pretty cool, although it doesn't seem very efficient if you goal is to write TeX. It would be interesting see how well it works to OCR hand-written notes or old-timey typewritten (that is, typed on a typewriter) math manuscripts where the mathematical symbols written in afterwards by hand...