User blog comment:Planterobloon/Is BAN our strongest notation right now?/@comment-32783837-20180226014453/@comment-32697988-20180226210951

Limit of pDAN is not \(\psi(\psi_I(0))\). It is much higher.

Limit of extended bracket notation in dollar function is \(\psi(\psi_I(0))\).