User blog comment:Alemagno12/An extremely fast-growing OCF/@comment-5029411-20170726203426/@comment-5529393-20170727041725

Where in your definition does it say that $$\Psi L_{L(\omega)}(x+1) = \Omega_{x+1}$$, and how can you determine what  $$\Psi L_{L(\omega)}(x+1)$$ is before determining what $$L(\omega)$$ is? If  $$\Psi L_{L(\omega)}(x+1)$$ does not depend on $$L(\omega)$$, then it is best not to put $$L(\omega>$$ in there - it's bad notation.