TeX source:

|\psi(t')\rangle = \lim_{t\to t'}|\psi(t)\rangle = \lim_{t\to t'}\mathbf{U}(t)|\psi(0)\rangle