TeX source:
p \leq \alpha