User blog comment:Deedlit11/Ordinal notations II: Up to the Bachmann-Howard ordinal/@comment-1605058-20130628170115

There is a little mistake in the last-but-one paragraph - \(\varepsilon_\Omega\) is actually \(\Omega\), so we have some very trivial bijections ;)