Dekinotos

Dekinotos is equal to \(f_{\psi(\lambda[11])}(10)\)

the term was coinded by Denis Maksudov.