The zettossolplex is equal to \(\lbrace 10, ext{zettossol} (7) 2 brace\) in BEAF. The term was coined by Jonathan Bowers.