TeX source:
P(2.3