In

Model: <model> Attrs: <attributes> | <Formats> _______________________

the attributes section is filled in with a sequence of terms the system interprets in various ways. You will find buttons for inserting these in dfedit big menu. If the attributes field is hidden, try `(c-s)' on the whole display form spec.

*Open form* makes it possible for instances of this display form to be parenthesized when occurring in suitable positions in other terms. I.e., if this attribute is missing, then the display form is considered "closed", no disambiguation needed. doc for parentheses
N.B. whether *Open form* is among the attributes of a spec is toggled by `(backspace)' on the spec itself.

InsertCmd:[name] declares a name that can be used instead of the object name when inserting the display form using the `;' command-prefix.
N.B. whether InsertCmd:[name] is among the attributes of a spec is toggled by `(c-a)(c-(backspace))' on the spec itself.

[condition] is used to condition macro behavior on the operators. It's the same as is used in ABS conditions. The CondsMENU button in DisplayForm EditMenu will show you what a variety of selected conditions are used for.

NotAtPoint indicates that this display form should not be used when the point is located on the term. This feature is toggled throughout a window with the `(c-u)(c-s)' command.

<attrs>; <attrs> is the sequencing operator, with NOattrs being the empty sequence. doc for term sequences

To find out what the other attributes in DisplayForm EditMenu mean, you may use the Buttons button on the insert-buttons.

doc for display form edit IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html