TeX source:
п \leq 0.5