To supplement Bob Terrell's post, here is an example from InftyReader.
Snippet from an input image, scanned at 600dpi:
Snippet from output of the corresponding LaTeX produced by InftyReader:
It's not perfect—$\partial z \partial \bar{z}$ becomes $\partial z k$—but it's pretty impressive!
