x from \[u02c6] != x from \[u02c6] = x from \[u02c6] = x from \[u02c6]