User blog comment:Wythagoras/Extension of the busy beaver function/@comment-1605058-20131023174307/@comment-25418284-20131024001216

Does \(\omega_\Omega^\text{CK}\) mean anything?