Fuente TeX:

\forall z_1, z_2, z_3 \in \mathbb{C}, \ \ z_1 \leq z_2 \Rightarrow (z_1 + z_3) \leq ( z_2 + z_3 )