A is an editor command.
for an expression like @wt{P x y}, delete the rightmost element;
in this example the result will be to make @wt{Px} the current expression.
For a quantified expression, it will move to the quantified variable.
A is a editor moving command.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage