( mod √ 2 sup ⨁ ) {\displaystyle {\pmod {\surd {\sqrt[{\sup \bigoplus }]{2}}}}} th max ( ∇ ψ , y ) {\displaystyle \operatorname {th} \max(\nabla \psi ,y)}