TeX source:
n \leq 10