TeX source:
-3x >12