1. A machine-implemented method for correcting a recognized handwritten mathematical expression, the machine-implemented method comprising: receiving input indicating a region having at least one atom of a plurality of atoms corresponding to a misrecognized production of a recognized mathematical expression; providing a menu of possible recognition results based on the at least one atom in the region; receiving a selection of one of the possible recognition results as a correction hint; shrinking the region and linearly transforming the at least one atom corresponding to the correction hint such that the at least one atom is horizontally or vertically separate from other atoms of the plurality of atoms; and re-recognizing the plurality of atoms, including the at least one linearly transformed atom, to produce a correctly recognized mathematical expression.
1. A machine-implemented method for correcting a recognized handwritten mathematical expression, the machine-implemented method comprising: receiving input indicating a region having at least one atom of a plurality of atoms corresponding to a misrecognized production of a recognized mathematical expression; providing a menu of possible recognition results based on the at least one atom in the region; receiving a selection of one of the possible recognition results as a correction hint; shrinking the region and linearly transforming the at least one atom corresponding to the correction hint such that the at least one atom is horizontally or vertically separate from other atoms of the plurality of atoms; and re-recognizing the plurality of atoms, including the at least one linearly transformed atom, to produce a correctly recognized mathematical expression. 4. The machine-implemented method of claim 1 , wherein: the region is indicated by a bounding box, and the shrinking of the region further comprises: determining whether the bounding box bounding the at least one atom corresponding to the correction hint, overlaps a second bounding box bounding at least one of the others of the plurality of atoms, and shrinking the bounding box to produce a shrunken bounding box when the bounding box and the second bounding box are determined to overlap, the shrunken bounding box being a minimal bounding box separated from the second bounding box.