IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Citations to Sections and Bibliographic Entries
Object references in Nuprl texts will be converted to intradocument citations in Latex if their referents are sections of the document to be Latexized as well. References to sections (see Article Structure) become annotated in the Latex with mention of the section address. References to bibliographic entries will be converted to Latex's bibliographic citations. If in the source Nuprl text one or more bibliographic references are listed within square brackets. Here are some examples of bibliographic citation, some of which might differ in the Nuprl source text even if they are Latexized to the same thing: