Biggdollaxul

Biggdollaxul is equal to \(200\$[0,2]\) in the Dollar Function.Hayden's Big Numbers. Retrieved 2023-01-28. The term was coined by googology user HaydenTheGoogologist2009. Since the Dollar function has not been formalised up to this level, this number is currently ill-defined.
==Approximations==
Since it is not defined by now, the following approximations are just expected values:
Notation 	Approximation
DeepLineMadom's Array Notation 	\(200[1\{1\{1\backslash1\backslash2\}1\{1\backslash1\backslash2\}2\backslash1\backslash2\}2]200\)
Fast-growing hierarchy (using fundamental sequences associated to the Rathjen's psi function based on a weakly Mahlo cardinal)	\(f_{\psi_\Omega(\Phi_2(0))}(200)\)
==Sources==
Category:Numbers
Category:Numbers by HaydenTheGoogologist2009
Category:Class disputed
Category:Unformalised
Category:Powers of 200