x to \[u20db] != x to \[u20db] = x to \[u20db] = x to \[u20db]