NC : ABBREV

NC is a logical abbreviation.
No more help available. Sorry.
LAMBDA u(O(OB)) EXISTS p(OB).u = EQP(O(OB)(OB)) p
Type variables are: ("B")

TPS documentation homepage


NC : TEX-CHAR

NC is a tex special character.
Prints as NC

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage