TeX source:
p = 8