PRW : MEXPR

PRW is a top-level command.
Print real wff. Turns off special characters
(including FACE definitions), infix notation, and dot
notation, and then prints the wff.
The command format for PRW is:

 <n>PRW  GWFF 
"GWFF"

TPS documentation homepage


PRW : WFFOP

PRW is a wff operation.
Print real wff. Turns off special characters
(including FACE definitions), infix notation, and dot
notation, and then prints the wff.
 
The calling scheme for PRW is:

(PRW GWFF)
"GWFF"


The result is of type ANYTHING.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage