x from \[u02DC] != x from \[u02DC] = x from \[u02DC] = x from \[u02DC]