TeX source:
\psi_0\equiv 1