Interactive User Interface for Recognizing Online Handwritten Mathematical Expressions and Correcting Misrecognition | IEEE Conference Publication | IEEE Xplore