Y(f)
sub:0:Y(f) * (x.f(x(x)))(x.f(x(x))) * f((x.f(x(x)))(x.f(x(x))))
sub:0:*
sub:0:f(Y(f))
$\ast\!\!\Rightarrow$
f(Y(f))

	Who Cites ycomb?
ycomb	Def Y(f) == (x.f(x(x)))(x.f(x(x)))

Syntax:

Y

has structure:

ycomb

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html