x from \[u20dc] != x from \[u20dc] = x from \[u20dc] = x from \[u20dc]