TeX source:
\ddot a