User blog:Planterobloon/Is BAN our strongest notation right now?

I know the FGH is stronger, but that's more a series of functions than a notation.

I'll admit I don't really understand the notation yet, but I've never heard anyone say another computable notation is stronger except maybe the ill-defined parts of BEAF. Is anything computable stronger than BAN?