Yet another juxtaposing command, usually a variant of
(insert) <words go here>
<words go here>
(ml, insert) <ml cmds>
In a display form context, inserts a {[hard]} before or after point according to edit direction.
(words, insert) <words go here>
<words go here>
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html