User blog:D57799/Some basic properties of uparrow notation

==\((a\uparrow^mb)\uparrow^mc\) vs. \(a\uparrow^m(b\uparrow^mc)\)==

Assume that : \((a\uparrow^mb)\uparrow^mc\seqa\uparrow^m(b\uparrow^mc)\)