x from \[u02d9] != x from \[u02d9] = x from \[u02d9] = x from \[u02d9]