Syntax:

x

has structure:

invisible_wrapper(x)

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html