Syntactic Detection and Correction of Misrecognitions in Mathematical OCR | IEEE Conference Publication | IEEE Xplore