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 http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html