Octoodollaxul

Octoodollaxul is equal to \(200\$[0,0,0,0,0,0,0,1]\) in the Dollar Function.Hayden's Big Numbers. Retrieved 2023-02-20. 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
Bowers' Exploding Array Function 	\(\{L,\{X,X,1,1,1,1,2\}\}_{200,200}\) (weak bound, debatable)
\(\{L,\{X,X,1,1,1,2\}\}_{200,200}\) (strong bound, debatable)
DeepLineMadom's Array Notation 	\(200[1\{1\{1\{1\backslash1\backslash2\}7\backslash1\backslash2\}2\backslash1\backslash2\}2]200\)
Strong array notation (intended) 	\(\text{s}(200,200\{1,,1\{1\{1,,1,,2\}7,,1,,2\}2\}2)\)
Fast-growing hierarchy (using Rathjen's \(\Phi\), and the systems of fundamental sequences associated to the extended Buchholz's function)	\(f_{\psi_0(\Phi(1,0,0,0,0,0,0,0))}(200)\)
Hardy hierarchy (using Rathjen's \(\Phi\), and the systems of fundamental sequences associated to the extended Buchholz's function) 	\(H_{\psi_0(\Phi(1,0,0,0,0,0,0,0))}(200)\)
==Sources==
Category:Numbers
Category:Numbers by HaydenTheGoogologist2009
Category:Class disputed
Category:Unformalised
Category:Powers of 200