User blog comment:MachineGunSuper/Hypersonic Triangle Notation/@comment-30754445-20181109134629/@comment-25601061-20181117132517

a^b^^a^b is not the correct notation for it, though. a^b^^a^b = a^(b^^(a^b)), which would expand to a^b^b^b^...^b with a^b b's.