IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Generating Latex Code Directly
It is possible to specify latex source code directly which will be output to the Latex source file as such. This is specified by wrapping the literal Latex code in the operator
SimpleLatexMode:LatexCode( <words form latex code> )
This method could be used, for example to create a horizontal rule LatexCode( \rule{1.5in}{1pt} ) or to force LatexCode( \newpage\noindent ) a page break. It is also possible to tailor Nuprl display forms to generate Latex-specific code, as described in Latex Display Forms.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html