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