Fuente TeX:
x-z+2=0\Leftrightarrow z=x+2