IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Larger Notes
In the Nuprl source format it is permitted to include a title on an external note, which will be elided from the footnote when it's converted to Latex code.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html