x to \[u20DC] != x to \[u20DC] = x to \[u20DC] = x to \[u20DC]