TeX source:
(3*X)+1