x from \[u00A8] != x from \[u00A8] = x from \[u00A8] = x from \[u00A8]