TeX source:
b\leq d