"Verify equation (4)" K0 = sqrt(m / (2 pi i hbar (t - ta))) * exp(i m (x - xa)^2 / (2 hbar (t - ta))) check(d(K0,t) == i hbar / (2 m) d(K0,x,x)) "ok" Run