The differential operator that enters in the Dirac equation and whose inverse defines the fermion propagator. It exists on a Riemannian spin manifold and its square is a (generalized) Laplacian operator.