TeX source:

25.0