TeX source:
2 x-10=0