x from \[u00B4] != x from \[u00B4] = x from \[u00B4] = x from \[u00B4]