TeX source:
3x-1 = 5