TeX source:
-12p+6