<= : 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