x from \[u02D9] != x from \[u02D9] = x from \[u02D9] = x from \[u02D9]