Source TeX:
X_1=12; X_2=15