TeX source:
\widetilde{x}=667