x to \[u00b4] != x to \[u00b4] = x to \[u00b4] = x to \[u00b4]