TeX source:
n = -12