TeX source:
3x−20=−11