SUBSET : ABBREV

SUBSET is a logical abbreviation.
No more help available. Sorry.
LAMBDA P(OA) LAMBDA R(OA) FORALL x(A).P x IMPLIES R x
Type variables are: ("A")
Infix binding priority is 8

TPS documentation homepage


SUBSET : CONCEPT-CHAR

SUBSET is a concept special character.
Prints as SUBSET

TPS documentation homepage


SUBSET : REPSYMBOL

SUBSET is a replaceable symbol.
SUBSET may be replaced by any of:
INTERSECT LAMBDA p(OA) LAMBDA q(OA).p INTERSECT q = p
IMPLIES LAMBDA p(OA) LAMBDA q(OA) FORALL x(A).p x IMPLIES q x
INVERSE LAMBDA p(OA) LAMBDA q(OA).COMPLEMENT q SUBSET COMPLEMENT p

TPS documentation homepage


SUBSET : SCRIBE-CHAR

SUBSET is a scribe special character.
Prints as SUBSET

TPS documentation homepage


SUBSET : TEX-CHAR

SUBSET is a tex special character.
Prints as SUBSET

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage