Binotos

Binotos is equal to \(f_{\psi(\lambda[3])}(10)\)

the term was coinded by Denis Maksudov.