The Y-Combinator
And here is a block formula:
$$ Y = \lambda f.(\lambda x.f(x\,x))(\lambda x.f(x\,x)) $$