Boogol

The boogol is equal to {10,10,100} in BEAF. It is equal to \(10\underbrace{\uparrow\uparrow\cdots\uparrow\uparrow}_{100}10\) in arrow notation. The term was coined by Jonathan Bowers.

Boogol can be computed in the following process:


 * \(a_1 = 10\)
 * \(a_2 = \{10,10,99\}\)
 * \(a_3 = \{10,a_2,99\}\)
 * \(a_4 = \{10,a_3,99\}\)
 * etc.
 * Boogol is equal to \(a_{10}\).