TeX source:
\det D\mathbf{f}(\mathbf{y})\Big|_{P_0} \neq 0.