Source TeX:
\forall x \in R^n, x\neq 0 \implies \phi(x)>0.