`(c-u){(tab)(return)}'

When on a member of a sequence of options
<term> |<term> |<term> select the member you're pointing at.
doc for edit choice

Insert nil term sequence in certain contexts. doc_for_ml_quote_list

In abs condition list slot, insert NoConds

In dform attr list slot, insert NOattrs IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html