{=} ∧ x