x from \[u02dc] != x from \[u02dc] = x from \[u02dc] = x from \[u02dc]