# 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 is a concept special character.`

Prints as INTERSECT
TPS documentation homepage

`INTERSECT is a scribe special character.`

Prints as INTERSECT
TPS documentation homepage

`INTERSECT is a tex special character.`

Prints as INTERSECT
TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage