COND : ABBREV

COND is a logical abbreviation.
No more help available. Sorry.
LAMBDA x(C) LAMBDA y(C) LAMBDA p(O) THAT q(C).p AND x = q OR ~p AND y = q
Type variables are: ("C")

TPS documentation homepage


COND : TEX-CHAR

COND is a tex special character.
Prints as COND

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage