TeX source:

b > a