TeX source:

x=p-1