User blog comment:Alejandro Magno/My -illion is bigger!/@comment-4297047-20140924215114/@comment-1605058-20140925045045

Hmm, I really wonder what is the definition of \(\omega^\text{Ch}_{\omega^\text{Ch}_1}\)...