Dirac delta function
formula_7 is the Dirac delta function