A syntax directed system for the recognition of printed Arabic mathematical formulas | IEEE Conference Publication | IEEE Xplore