UNION : ABBREV

UNION is a logical abbreviation.
No more help available. Sorry.
LAMBDA P(OA) LAMBDA R(OA) LAMBDA z(A).P z OR R z
Type variables are: ("A")
Infix binding priority is 9

TPS documentation homepage


UNION : CONCEPT-CHAR

UNION is a concept special character.
Prints as UNION

TPS documentation homepage


UNION : SCRIBE-CHAR

UNION is a scribe special character.
Prints as UNION

TPS documentation homepage


UNION : TEX-CHAR

UNION is a tex special character.
Prints as UNION

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage