TeX source:

X_0=1