User blog comment:Jiawhien/brace1/@comment-25418284-20130608042247

And, while I'm at it:

\[\text{Brace}(a, b) = a \uparrow^{b + 1} a\]

\[\text{Brace}(a/b, c) = a \uparrow^{c + 1} b\]

\[\text{Brace}(a, b/c) = \text{Brace}(a/b,c)\]