The system offers no help or documentation, primarily due to its status of being solely a prototype of a pen-based formula entry system and a test of a graph rewriting formula parser on handwritten input.
