Definition and normalization

The time-ordered expression is understood through this distributional definition, not through an unspecified value of a step function at coincidence. Neither $d$ nor $D_F$ is extended in the later square-extension problem.