TeX source:
=4.5