TeX source:
14 \leq 20