Various utility commands are shown in
Table 
The IDENTIFY-TERM, SUPPRESS-DFORM and UNSUPPRESS-DFORM commands assist one in interpreting unfamiliar or
ambiguous display forms.
IDENTIFY-TERM will print out in the ML Top-Loop window information on the term and display form at the current cursor position. If one likes, one can then go and view the appropriate display form and abstraction objects.
SUPPRESS-DFORM suppresses use of the display form the cursor is sitting at for the whole object one is viewing. If multiple display forms are defined for a term, a single SUPPRESS-DFORM might result in some other more general display form being selected. In this case one can repeat SUPPRESS-DFORM. When all appropriate display forms for a term are suppressed, the term is displayed in uniform syntax.
UNSUPPRESS-DFORM restores a suppressed display form, when the editor cursor is at a term to which that suppressed display form belongs. Display forms remain suppressed until one explicitly unsuppresses, or until one closes the editor window.
EXPLODE-TERM replaces the term the cursor is at with
a cluster of terms which display the term in uniform syntax, and allow
one to change the operator structure. For example one can change the
opid name,the number and types of the parameters, or the term's arity.
See Section for details on how to edit an
exploded term's structure.
IMPLODE-TERM replaces an exploded term at the cursor by the term which the exploded term represents.
INSERT-EMPTY-STRING is useful for inserting empty text strings into text slots. Normally, when all the characters in a text slot that is outside of a text sequence are deleted, a text slot placeholder is left rather than an empty string. This is because usually such slots are used for things like variable names, and using the empty string for such entities can be confusing. Use this command when an empty text string is what is really wanted.
