User talk:Googleaarex/Extended Up-Arrow Notation/Nested

You made a serious mistake at Arrows inside Arrow Types.

$$a\uparrow_{\uparrow_1}\uparrow b$$, according to your rules, is equal to $$\underbrace{a\uparrow_{\uparrow_1}a\uparrow_{\uparrow_1}a\uparrow_{\uparrow_1}a...a\uparrow_{\uparrow_1}a}_b$$.

$$a\uparrow_{\uparrow_1}\uparrow\uparrow b$$ is also wrong. King2218 (talk) 11:42, March 25, 2014 (UTC)