TeX source:
=16