TeX source:
X =