x ⫽ y