x to \[u02c7] != x to \[u02c7] = x to \[u02c7] = x to \[u02c7]