PMUT : EDOP

PMUT is an editor command.
Permute the two components of an infix operator:
A op B --> B op A 
 
The command format for PMUT is:

<Ed>PMUT <<GWFF>> 
         <<GWFF>>

The result replaces the current wff.

ETPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage