User blog comment:P進大好きbot/ZFC-variant of Rayo's number/@comment-37485018-20190816235322/@comment-37485018-20190905212019

But is there a reason for not using \(\omega\leq\alpha\)?