x to \[u00A8] != x to \[u00A8] = x to \[u00A8] = x to \[u00A8]