Dirac delta function
with formula_4 being the Dirac delta function. That is,