<words go here> <words go here>	is the basic WORDS sequencer, which breaks when there's no more space. `(c-(space))' inserts it, and it is often created by an automatic burst of a word with spaces. You can also get it from any of the forced-break forms below with `(c-a)(c-(backspace))'.
<words go here><words go here>	jams the two terms together with no break possible. You can get it from the previous form by `(backspace)', and `(m-(space))' inserts it.
<words go here><words go here>	jams the two terms together but a break is possible. You can get it from the previous form by `(backspace)'.
<words go here>: <|words>	"labels" the second term with the first. The second term has its own left margin. You can get it from the previous form by `(backspace)'.
<words go here> <words go here>	forces a break between the two subterms. `(m-(return))' inserts it, and you can get it from any of the previous WORDS pair forms with `(c-a)(c-(backspace))'.
<words go here> <words go here>	forces a double break between the two subterms. `(cm-(return))' inserts it, and you can get it from the previous form by `(backspace)'.

You will sometimes need to reorganize these sequences of terms. doc for term sequences IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html