TeX source:

3x+1