EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
The WORDS operators are formally meaningless devices for representing words, punctuation, and collections of terms with control of spacing for display. One often embeds other terms in WORDS to form documents or menus.

[word] represents a single word usually. If you enter a string with spaces, it will usually be automatically burst into a sequence of words. You can insert it with `(c-t)' or just by entering text at an empty term slot.
TIP: It is often easier to restructure your WORDS if punctuation is represented as the last character of the word preceding it.

For WORDS pairing operators doc for WORDS pairing

[left paren]<words>[right paren]

is a simple parenthesizing operator. There are specific commands for inserting various specific versions, such as `{\)\(}' to insert (<words>), and `"' to insert "<words>".

[chars]<|words>
sets a left margin for the subterm. The character string will precede the subterm to the left of the new margin; This string is almost always zero or more spaces, and usually zero. Insert with `margin'; `(c-u){(tab)(return)}' will put the null string in the string slot, so `margin' `(c-u){(tab)(return)}' will simply set the local margin.

For the edit commands specialized for WORDS to work, you need to be in a WORDS edit context.
If you are not in a WORDS context, then you may temporarily insert one (namely WORDS <words>) with the `wo' command.
You may also need to insert another kind of context when you want to use non-WORDS commands inside a WORDS document.
doc for edit context

Layout of WORDS is unnecessarily slow, and we plan to improve it later.

DO Review cmds for group: "Words" IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc