x to \[u02c6] != x to \[u02c6] = x to \[u02c6] = x to \[u02c6]