TeX source:
b > 3