クヌースの矢印表記

$ x \uparrow y := x^y

$ x \uparrow^n y := x \uparrow^{n-1} (x \uparrow^n (y-1))

よく使う例

$ p \uparrow \uparrow q = \underbrace{p^{p^{p^{\cdots}}}}_{q \text{ times}}