x from \[u20DC] != x from \[u20DC] = x from \[u20DC] = x from \[u20DC]