User blog comment:Eners49/New notation idea?/@comment-32697988-20180814162534

I think {a, 2 | b} actually only reches ω^ω+1 because you are only repeating ω^ω.