CNTOP : EDOPCNTOP is an editor command.
Change the top connective of a formula. For example,
"cntop or" will change "A and B" into "A or B";
"cntop exists" will change "forall x P x" into "exists x P x".
The command format for CNTOP is:
<Ed>CNTOP CONN <<GWFF>>
The result replaces the current wff.
TPS documentation homepage