TeX source:
\widetilde{x}=552.5