Source TeX:
\dfrac{a}{b} = 0 \Leftrightarrow a = 0 \text{ et } b \ne 0