TeX source:
\Phi(s-s_k) \neq0