User blog comment:Syst3ms/A formal definition for UNOCF/@comment-25337554-20180728103506

In the nesting rule, what exactly are the "..."s just before and after the ψ_cof(λ) on the right-hand side?