IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
It is often easiest to imitate an example, rather than create from scratch. In the case of defining display forms, this is facilitated by the `adj' command used in a DISP object.
Just insert an instance of an operator whose display you want to imitate, and use the `adj' command. All the display forms for that sample will be inserted instead into the DISP object, with the new opid and permuting the op params and arities if necessary.
To use this, it is necessary that the name of the new DISP object is gotten from the name of an active ABS object by adding _df, and that the op parameter types and the arities of the sample and the ABS operator match, modulo permutation.
Usually, one will want to make some alteration to the display method appropriate to the new operator. docfordisplayformedit
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html