LEFT-hand version recommended.

This is the main juxtaposing command. In various circumstances, it is supposed to help form the most common juxtaposition of terms.

(insert) <fun>(<arg>)

If the point is on the argument place of an application <fun>(<arg>), and is a slot, then add another curried sibling argument slot.

(ml, insert) <ml> <ml>

In abs condition list, insert <conds>, <conds>

In a certain contexts, insert
<child attrs>, <child attrs>

In a iparm control contexts insert
<iparms>, <iparms>

In a display form context, insert
<Formats><Formats>

On a display spec sequence, insert the sequencer for display specs.

In dform attr list, insert
<attrs>; <attrs>

(words, insert) <words go here> <words go here>

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html