User blog comment:Eners49/New notation idea?/@comment-35392788-20180814123416/@comment-35532815-20180814155754

Thx.

I'm nearly certain {a | b, 2} that reaches the level of w^w^w, so w^w^w^2 for {a, b | c, 2} sounds about right. {a, b | c, d} should reach the level of w^w^w^w if I can extend my function properly.