D : EDOP

D is an editor command.
for an expression like @wt{P x y}, move to the rightmost element;
in this example @wt{y}. For a quantified expression it will move
to the scope of the quantifier.
D is a editor moving command.

TPS documentation homepage


D : MATEOP

D is a mating-search command.
Move down one node in etree (to leftmost node if more than
one successor).
D is a expansion-tree moving command.

TPS documentation homepage


D : MTREEOP

D is a matingstree command.
Go down one level. D <nth> means go down along the nth subnode.
Counting begins from 0. Without argument, D means go down along the
leftmost subnode.
 
The command format for D is:

<Mtree>D NODE
"SYMBOL-OR-INTEGER"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage