User blog comment:Simplicityaboveall/The Construction of Extremely Large Numbers/@comment-24920136-20160728195542/@comment-29014792-20160729132902

However, we need new operator called Υ. It will have the definition, a Υ b.


 * if b = 0, a Υ 0 = a
 * if b > 0, a Υ b = a^^a (a to tetrated a)

Therefore, ε_0 = ω Υ 1, ε_1 = ω Υ 2, ε_2 = ω Υ 3, ...