TeX source:
\widetilde{x}=(0+2) / 2=1