J

\[\huge{a\uparrow\uparrow b=\underbrace{a\uparrow(a\uparrow(a\cdots (a\uparrow a)))\cdots)))}_{b \text{ copies of }a}}\] 