User blog comment:GamesFan2000/My new notation/@comment-25601061-20181219023703/@comment-35470197-20181219025220

I also think that it should be left associative. Then \(n[X]m\) is roughly bounded by \(f_{(1+\omega) \times (1+X) + m}(3(n+1))\), if I am correct.