TeX source:
b < 3