User blog comment:Edwin Shade/Hyper Operations On Ordinals Using The M.O.S.T. Function/@comment-1605058-20180113194320

I think we actually have \(\omega\uparrow\uparrow\omega\alpha=\varepsilon_{\alpha}\), contrary to your last two assertions.