TeX source:
\implies|\psi(0)\rangle = \mathbf{U}^\dagger(t)|\psi(t)\rangle