TeX source:
35.398\,=\,x