TeX source:

S_P \leq p