In this talk I shall address the subject of mathematical formula recognition in optically scanned documents, give a short overview of the approaches and problems in the area, describe some applications that the technology has and discuss progress on this topic at the University of Birmingham.