DiracDelta



For Dirac delta integration at a jump discontinuity, see, for example, http://dlmf.nist.gov/1.17 (Eq. 1.17.7) There are, of course, variants
that yield a different linear combination of the left and right limits.

--Barton