FINITE : ABBREV

FINITE is a logical abbreviation.
No more help available. Sorry.
LAMBDA p(OI) EXISTS n(O(OI)).NAT n AND n p

TPS documentation homepage


FINITE : TEX-CHAR

FINITE is a tex special character.
Prints as FINITE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage