The rotation operators are defined as:
The rotation operators are generated by exponentiation of the Pauli matrices according to
where A is one of the three Pauli Matrices.
Note that the Rz rotation operator can also be expressed as
which differs from the definition above by a global phase only.