x ∧ {=}