x from \[u20db] != x from \[u20db] = x from \[u20db] = x from \[u20db]