TeX source:

12 b > 36