AND : CONCEPT-CHAR

AND is a concept special character.
Prints as AND

TPS documentation homepage


AND : LOGCONST

AND is a logical constant.
Denotes conjunction.
Infix binding priority is 5

TPS documentation homepage


AND : REPSYMBOL

AND is a replaceable symbol.
AND may be replaced by any of:
INVERSE LAMBDA p(O) LAMBDA q(O).q AND p
IMPLIES LAMBDA p(O) LAMBDA q(O).~.p IMPLIES ~q
OR LAMBDA p(O) LAMBDA q(O).~.~p OR ~q

TPS documentation homepage


AND : SCRIBE-CHAR

AND is a scribe special character.
Prints as AND

TPS documentation homepage


AND : TEX-CHAR

AND is a tex special character.
Prints as AND

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage