TeX source:
$1.2c