TeX source:

3x > 12