Source TeX:
ab = 0 \Leftrightarrow a = 0 \text{ ou } b = 0