TeX source:
=12