Source TeX:
6 - x = 0 \Leftrightarrow x = 6