Insertion and Deletion in Text.

`(c-a)(c-d)'	deletes the whole string and clears any "meta-bits".
`(c-d)'	inserts the null string into an empty slot, and otherwise, deletes the selected substring, between mark and point, and replaces the top of the term stack with it, in a term built from the operator [text]. It often happens that text-commands adjust the point and mark to select a single character in order to avoid mishaps. Examples of such commands are `(mouseleft)' and the various left- and right-motion commands mentioned above, and the `(c-d)' command itself.
`(m-d)'	deletes the selected text.
(rubout)	deletes the character before the point.

Ordinary keboard input characters, not control or meta, are self inserting before the point.

`(c-y)'	replaces the top of the term stack with a copy of the selected substring.
`(c-p)'	copies the top of the term stack (if it's text) to before the point.
`{(m-p)(cm-p)}'	copies the second-from-the-top of the term stack (if it's text) to before the point.
`(c-()'	replaces the top TWO elements of the term stack by copies of the selected text.
`(c-))'	pops the term stack.

To insert special non-keyboard characters from the Nuprl Font into a string, look in the object words menu, which can be raised with the WORDS button from the main menu; you will find the special characters listed there in several little bunches, and `(mouseleft)' on such a character there will copy it to before the point.

`(c-$)' will set the abstraction meta-bit, which is used in ABS objects.

`(c-<)' will set the display meta-bit, which is used in DISP objects.

`{(c-n)(m-n)}{(c-$)(c-<)}' will clear any meta-bits without changing the string. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html