Ocdecatrix

Ocdecatrix is equal to \( \lbrace 10,10,10,10,10,10,10,10 \rbrace\ \&\ 10 \) using the array of operator and BEAF. It has octadecal entries. The term was coined by Jonathan Bowers.
==Approxiamtions==
Approximations of a possible formalization of it
== Sources ==
== See also ==
Category:Numbers
Category:Numbers by Jonathan Bowers
Category:Higher array notation
Category:BEAF
Category:Bachmann's collapsing level
Category:Unformalised