x to \[u02D9] != x to \[u02D9] = x to \[u02D9] = x to \[u02D9]