and the initial `(\x. x x)` is just what we earlier called the <code>ω</code> combinator (lower-case omega, not the non-terminating <code>Ω</code>). So the self-application of `H` can be written:
and the initial `(\x. x x)` is just what we earlier called the <code>ω</code> combinator (lower-case omega, not the non-terminating <code>Ω</code>). So the self-application of `H` can be written: