Source TeX:
p\leq\alpha