(Explain how Nuprl operators are used not only as mathematical and programming notations, but also as macros in various system uses.) IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html