Qoppa

porev = λf.λx.xf (polandic-rev)

Qoppa
def) Ϟ₀(a, ..., z) ≡ x ((a, ..., z) = x)
def) Ϟₙ₊₂ ≡ porevϞₙ (n=0~1) ∧ Ϟₙ₊₁ ≡ Ϟₙ⁻¹ (n=0~1)
λx.Ϟ₃fx

Uncurred Lambda Notation : ϝ₀

Extended ULN
def) Ϟ₃ϝt.v ≡ ϝ₀(⋯).(λx.y)(t) (t is perfectly binded by ellipsis-notated-part