TeX source:
( 12-2,80-15)