Mirror r←x(F⸚G)y

r is (y G x) F (x G y).

Dyad
Mirror diagram