NAT : ABBREV

NAT is a logical abbreviation.
No more help available. Sorry.
LAMBDA n(O(OI)) FORALL p(OS).p ZERO(S) AND FORALL x(S) [p x IMPLIES p.SUCC(SS) x] IMPLIES p n

TPS documentation homepage


NAT : TEX-CHAR

NAT is a tex special character.
Prints as NAT

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage