x from \[u02C7] != x from \[u02C7] = x from \[u02C7] = x from \[u02C7]