OR : CONCEPT-CHAR

OR is a concept special character.
Prints as OR

TPS documentation homepage


OR : LOGCONST

OR is a logical constant.
Denotes (inclusive) disjunction.
Infix binding priority is 4

TPS documentation homepage


OR : REPSYMBOL

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

TPS documentation homepage


OR : SCRIBE-CHAR

OR is a scribe special character.
Prints as OR

TPS documentation homepage


OR : TEX-CHAR

OR is a tex special character.
Prints as OR

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage