x from \[u02c7] != x from \[u02c7] = x from \[u02c7] = x from \[u02c7]