TeX source:
3g+4s \leq 20