Bachmann-Howard ordinal

This ordinal is $$\psi_0(\Omega_2)$$ in Buchholz psi