Let $\xi$ be a random variable distributed according to a Normal distribution with given mean $\mu$ and standard deviation $\sigma$. Find the probability density function of
$$ \psi = c\,\mathbb{1}_{\left\{\xi\leq 0\right\}}, $$
where $\mathbb{1}_{\left\{\cdot\right\}}$ is the indicator function.