TeX source:
X \leq