Źródło TeX:
\Psi\neq0