x to \[u20DB] != x to \[u20DB] = x to \[u20DB] = x to \[u20DB]