This is some pretty cool stuff. It’s basically smart OCR for handwritten math.
The Natural Log: Recognizing Handwritten Mathematics.
