TeX source:
x_{100} = 80