User blog comment:Googleaarex/Extended Up Arrow Notation/@comment-10429372-20131128190550/@comment-5029411-20131128234031

\(a \uparrow_{\uparrow_2} b\) = {a,b+1[2]2}

\(a \uparrow\uparrow_{\uparrow_2} b\) > {a,b,2[2]2}

\(a \uparrow_2\uparrow_{\uparrow_2} b\) > {a,a,b[2]2}

\(a \uparrow_{\uparrow_2}\uparrow_{\uparrow_2} b\) = {a,b+1[2]3}

\(a \uparrow_{\uparrow\uparrow_2} b\) = {a,a[2]b+1}

\(a \uparrow\uparrow_{\uparrow\uparrow_2} b\) = {a,b[2]1,2}