IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Indented Subtext
It is sometimes desirable to isolate subtexts such as formulas, example texts, block quotations, and tabular presentations by indenting them, which in active Nuprl text is effected with the operator
SimpleLatexMode:
[chars]<|words>
which can be inserted in word editing mode with the command `margin'. The characters filling the slot on the left are usually spaces, and will be empty when the intent is simply to set a new left margin for the interior text.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html