Źródło TeX:
Q > 0 \Leftrightarrow (\forall i) \sigma_i (Q) > 0