Estas son las matrices de espín de Pauli normalizadas para que los correspondientes autovalores sean +1, −1.