x <-> y