The basic form of obref is
To insert this form of obref just use
To simplify this task you can enter a few letters from the start of the object name and the use the name completion command
Note: If you use letters only of lower case, and omit the "_" character, then even objects whose name use upper case letters and have "_" inserted are included in the name completion search.
For more detail see:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.htmlObject References Name Completion