TeX source:
p=7,p > 0