TeX source:

$8