TeX source:
5 =p