Multisets r←x(F⍦)y

r is the result of applying F to the multisets x and y: each cell of x and y is paired with its occurrence count; F is applied; the counts are removed.