Pauli matrices (SymPy, WMA)
PauliMatrix
Table[PauliMatrix[i], {i, 1, 3}]
PauliMatrix[1] . PauliMatrix[2] == I PauliMatrix[3]
MatrixExp[I \[Phi]/2 PauliMatrix[3]]
% /. \[Phi] -> 2 Pi