. . . . "The Binary-Doovol is equal to \\(2\\uparrow\\uparrow 20\\) using up-arrow notation. The term was coined by Wikia user Username5243."@en . "The Binary-Doovol is equal to \\(2\\uparrow\\uparrow 20\\) using up-arrow notation. The term was coined by Wikia user Username5243."@en . "Binary-Doovol"@en .