TeX source:
X=9, X=10, X=11