33 mins ago, by
ACuriousMind @DIRAC1930 I just wrote it down, it is the usual formula in terms of eigenstates of the momentum operator since the momentum operator exists as a self-adjoint operator with no problems (since translations are represented unitarily). What's unclear about that?