TeX source:
2\leq a