x from \[u20DB] != x from \[u20DB] = x from \[u20DB] = x from \[u20DB]