User blog comment:Vel!/Symbols function/@comment-5029411-20121221235825/@comment-25418284-20121222061628

ab is [a][a][a]...[a][a][a] b + 1 times, which is about a^b, not [a^2]b.