INTERSECT : ABBREV

INTERSECT is a logical abbreviation.
No more help available. Sorry.
LAMBDA P(OA) LAMBDA R(OA) LAMBDA x(A).P x AND R x
Type variables are: ("A")
Infix binding priority is 10

TPS documentation homepage


INTERSECT : CONCEPT-CHAR

INTERSECT is a concept special character.
Prints as INTERSECT

TPS documentation homepage


INTERSECT : SCRIBE-CHAR

INTERSECT is a scribe special character.
Prints as INTERSECT

TPS documentation homepage


INTERSECT : TEX-CHAR

INTERSECT is a tex special character.
Prints as INTERSECT

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage