In text, delete selected text (which is usually set with `(m-(mouseleft))', `(c-j)', `(m-j)', or other text navigation commands.
On term, delete term. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html