TeX source:
x_3\approx 1{,}4142157