The so-called Dirac delta function is defined by its properties:
It has a number of handy representations: