Commute r←x(F⍨)y

r is y F x.

Dyad
undefined diagram