EQP : ABBREV

EQP is a logical abbreviation.
No more help available. Sorry.
LAMBDA p(OB) LAMBDA q(OA) EXISTS s(AB).FORALL x(B) [p x IMPLIES q.s x] AND FORALL y(A).q y IMPLIES EXISTS1 x.p x AND y = s x
Type variables are: ("A" "B")

TPS documentation homepage


EQP : SCRIBE-CHAR

EQP is a scribe special character.
Prints as EQP

TPS documentation homepage


EQP : TEX-CHAR

EQP is a tex special character.
Prints as EQP

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage