User:Vel!/Hyper operators

Foo-ation is the foo'th hyper operator, defined as repeated bar-ation:

\[a Ⓕ b = a Ⓑ a Ⓑ \ldots Ⓑ a Ⓑ a \text{ with $b$ copies of $a$.}\]