Any line containing a syntax error automatically has # prefixed to it. Correct the error in the text field, then delete # and press Return.
The Add button adds a new line to the end of the derivation or subderivation. The Insert buttons add a new line or subderivation before the currently selected line.
[ Previous ] [ Next ]