TeX source:
\widetilde{x}=421