SETINTERSECT : ABBREV

SETINTERSECT is a logical abbreviation.
No more help available. Sorry.
LAMBDA D(O(OA)) LAMBDA x(A) FORALL S(OA).D S IMPLIES S x
Type variables are: ("A")

TPS documentation homepage


SETINTERSECT : CONCEPT-CHAR

SETINTERSECT is a concept special character.
Prints as SETINTERSECT

TPS documentation homepage


SETINTERSECT : SCRIBE-CHAR

SETINTERSECT is a scribe special character.
Prints as SETINTERSECT

TPS documentation homepage


SETINTERSECT : TEX-CHAR

SETINTERSECT is a tex special character.
Prints as SETINTERSECT

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage