IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
How to Generate a Latex Article from Nuprl ObjectsStuart AllenNovember 2002CONTENTS Introduction Source Preparation
Appendices
Example: Latexing This Document Example: The Title Page for This Document Default Latex Math SymbolsABSTRACT To retain the convenience of writing and using documents directly in Nuprl, and yet still have a conventional printed article format on demand, various forms of Nuprl text structure can be translated into Latex. Independence from Latex is considered important, and normally the textual structuring elements make sense on their own, although it is possible to insert Latex code literals in anticipation of extenuating circumstances. Latex-specific display forms can be defined which simply will not be invoked when the texts are active in Nuprl, but can enable fancier notation when Latexized than is possible with the internal Nuprl active text system. This document, for example, has itself been Latexized in ~/nuprl-home/NuprlToLatex/ with a postscript version at ~/nuprl-home/NuprlToLatex/article.ps (postscript).
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html