\[u2223] x \[u2223]