TeX source:
n-12+3