x to \[u02DC] != x to \[u02DC] = x to \[u02DC] = x to \[u02DC]