User blog comment:Lord Aspect/The ψ-Notation/@comment-29065906-20181124111128/@comment-34422464-20181124162224

It actually has level w+w since all instances of a variable can be replaced with w.