x to \[u20dc] != x to \[u20dc] = x to \[u20dc] = x to \[u20dc]