x to \[u00a8] != x to \[u00a8] = x to \[u00a8] = x to \[u00a8]