Fuente TeX:

\forall z_1, z_2 \in \mathbb{C}, \ si \ z_1 \geq 0 \ y \ z_2 \geq 0 \Rightarrow z_1z_2 \geq 0