A prototype interface was built in order to test the hypothesis that a pen-based formula entry system was a viable alternative to existing systems, and that a graph-grammar based parser would be able to parse handwritten formula well. In the development of this interface a number of new interface concepts for the correction of character recognition errors were created.