NOTE:

Y(f) * 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