x to \[u02dc] != x to \[u02dc] = x to \[u02dc] = x to \[u02dc]