x ⫽ {=} ⫽ (y ⫽ {=})