User blog comment:Googleaarex/Extended Up Arrow Notation/@comment-31040770-20170327103356

\psi(\psi_{I_{I_{n-1}}(0))x

\psi(\psi_{I_{I_{n-1}}}(0))yes!