TeX source:
X = 4