Evaluate commutators, anticommutators, and products of matrices and symbolic Pauli strings.
Use the interactive tool above, check its assumptions, and independently verify important results.