TeX source:
X > 87)