NEG : CONCEPT-CHAR

NEG is a concept special character.
Prints as NEG

TPS documentation homepage


NEG : EDOP

NEG is an editor command.
Negates current wff, erasing double negations.
 
The command format for NEG is:

<Ed>NEG <<GWFF>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


NEG : SCRIBE-CHAR

NEG is a scribe special character.
Prints as NEG

TPS documentation homepage


NEG : TEX-CHAR

NEG is a tex special character.
Prints as NEG

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage