TeX source:

$3