User blog comment:Edwin Shade/A Slight Change to Knuth's Up Arrow Notation/@comment-80.98.179.160-20180120192241

No, ω↑↑↓ω would expand to ((((ω↑↑ω)↑↑ω)↑↑ω)↑↑ω)↑↑..., not ω↓↑↑ω.