Lineatrixplex

Lineatrixplex is equal to \( \lbrace 10,10,10,10,10,...,10,10,10,10,10 \rbrace\ \&\ 10 \) (where there are lineatrix tens) = \(\{10,\text{lineatrix} (1) 2\}\ \&\ 10\) using the array of operator and BEAF. The term was coined by Jonathan Bowers.
== Sources ==
== See also ==
Category:Numbers
Category:Numbers by Jonathan Bowers
Category:Higher array notation
Category:BEAF
Category:Bachmann's collapsing level
Category:Unformalised