VALID : CONCEPT-CHAR

VALID is a concept special character.
Prints as VALID

TPS documentation homepage


VALID : EDOP

VALID is an editor command.
Check whether a propositional wff is valid.
 
The command format for VALID is:

<Ed>VALID <<JFORM>>
<<JFORM>>

TPS documentation homepage


VALID : SCRIBE-CHAR

VALID is a scribe special character.
Prints as VALID

TPS documentation homepage


VALID : TEX-CHAR

VALID is a tex special character.
Prints as VALID

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage