TeX source:
p\leq\alpha