There are two generic toggling commands,
The long toggle is meant to connote a greater dissimilarity between the related values.
When one of these toggle commands is given, a list of ML functions is successively called until one succeeds; it's a no-op if they all fail. The arguments passed are the term, and perhaps the left/right bit, and an indication of which of the two toggle commands was used.
The command
To see the descriptions of the toggle routines, click HERE.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html