>>543
>>396 の定義より

(..((m(n+1)f_n)f_{n-1})...f_1)f_0:=(..(f_n^{f_0}f_{n-1})...f_1)f_0

括弧を省略し、n => 2, f_2 => m2, f_1 => f, f_0 => n
とすると
m3 m2 f (n) = m2^n f (n)

ほとんど定義そのまま。

また、f_2 => (m3 m2) とすれば、
m3 m3 m2 f (n) = (m3 m2)^n f (n)