TeX source:
$ to produce