TeX source:

11 > 7