x from \[u00b4] != x from \[u00b4] = x from \[u00b4] = x from \[u00b4]