TeX source:
\widetilde{x}=448