<= : ABBREV

<= is a logical abbreviation.
No more help available. Sorry.
LAMBDA x(S) LAMBDA y(S) FORALL p(OS).p x AND FORALL z(S) [p z IMPLIES p.SUCC(SS) z] IMPLIES p y
Infix binding priority is 7

TPS documentation homepage


<= : TEX-CHAR

<= is a tex special character.
Prints as <=

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage