IMPLIES : CONCEPT-CHAR

IMPLIES is a concept special character.
Prints as IMPLIES

TPS documentation homepage


IMPLIES : LOGCONST

IMPLIES is a logical constant.
Denotes implication.
Infix binding priority is 3

TPS documentation homepage


IMPLIES : REPSYMBOL

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

TPS documentation homepage


IMPLIES : SCRIBE-CHAR

IMPLIES is a scribe special character.
Prints as IMPLIES

TPS documentation homepage


IMPLIES : TEX-CHAR

IMPLIES is a tex special character.
Prints as IMPLIES

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage