TeX source:
x_{0}=5.1