These commands are for inserting text whenever you have a text cursor.
The commands are summarized in Table 
.
Standard ASCII printing characters (including space) self insert whenever one has a text cursor. Non-standard characters can be inserted using INSERT-SPEC-CHAR- NUM . num is the decimal code for the character. Execute in a unix shell window
to bring up a display of the font. Clicking MOUSE-LEFT on a character results in its decimal code being displayed.) Alternatively, special characters can be copied from the object FontTest in the core-1 theory.
The INSERT-NEWLINE is only appropriate in text sequences, since the newline `character' is actually a term. This restriction simplifies the display layout algorithm and should not prove to be an inconvenience.
