here | + ⟩ and | − − ⟩ are eigenstates of the Pauli operator S x with eigenvalues +1 and −1, respectively, whilst the subscripts a, b, c, and d identify the components of each Bell state, with a and c going to Alice, and b and d going to Bob. The symbol ⊗ ⊗ represents a tensor product.