^ : EDOP

^ is an editor command.
Move upwards through enclosing wffs all the way to the top.
 
The command format for ^ is:

<Ed>^

TPS documentation homepage


^ : MATEOP

^ is a mating-search command.
Move upwards to root of expansion tree.
^ is a expansion-tree moving command.

TPS documentation homepage


^ : UNIFOP

^ is an unification command.
Go to the parent node of the current-topnode.
(i.e. move up one level in the tree).
^ is a unification tree moving command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage