Źródło TeX:

Q \geq 0 \Leftrightarrow (\forall i) \sigma_i (Q) \geq 0