TeX source:
X > 77)