int x(t)*diracdelta(t-a)*dt