(hideapply) View an index of defs using the operator of the term. See `oprules'. HERE for current table of cognate operators. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html