TeX source:
(-4.0)