POWERSET : ABBREV

POWERSET is a logical abbreviation.
No more help available. Sorry.
LAMBDA P(OA) LAMBDA R(OA).R SUBSET P
Type variables are: ("A")

TPS documentation homepage


POWERSET : CONCEPT-CHAR

POWERSET is a concept special character.
Prints as POWERSET

TPS documentation homepage


POWERSET : SCRIBE-CHAR

POWERSET is a scribe special character.
Prints as POWERSET

TPS documentation homepage


POWERSET : TEX-CHAR

POWERSET is a tex special character.
Prints as POWERSET

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage