Refinement of digitized documents through recognition of mathematical formulae