TeX source:
p>0.5