TeX source:
s \leq 15