MU : ABBREV

MU is a logical abbreviation.
No more help available. Sorry.
LAMBDA p(OS) THAT x(S).NAT x AND p x AND FORALLN y(S).p y IMPLIES x <= y

TPS documentation homepage


MU : CONCEPT-CHAR

MU is a concept special character.
Prints as MU

TPS documentation homepage


MU : SCRIBE-CHAR

MU is a scribe special character.
Prints as MU

TPS documentation homepage


MU : TEX-CHAR

MU is a tex special character.
Prints as MU

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage