TeX source:
=2.5