IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Escaping the Article Formatter
The procedure for producing Latex for an article proceeds by recursive descent through each section. It is possible to locally escape this special formatting and invoke a generic term-to-latex procedure by wrapping the term in
SimpleLatexMode:SimpleLatexMode:<term>
Do not be alarmed if you see this operator intruding into Nuprl source text for articles. Indeed, its presence is a likely indication of a form with a special Latex article interpretation.
The basic generic term-to-latex conversion is discussed in Latexing Nonword Material.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html