x from \[u02C6] != x from \[u02C6] = x from \[u02C6] = x from \[u02C6]