TEXFORMAT is a flag or parameter.
HPD for a horizontal path diagram (p.d.) of the positive wff.
VPD for a vertical p.d. of the negated wff.
VPP (or anything else) for a vertical p.d. of the positive wff.
TEXFORMAT takes values of type SYMBOL.
It belongs to subjects JFORMS .
Its default value is VPP
Its current value is VPP.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage