TEXFORMAT : FLAGTEXFORMAT 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