Using the superconnection formalism of Quillen, they obtained a refinement of the Riemann–Roch formula, which links together the Thom classes in K-theory and cohomology, as an equality on the level of differential forms.