Source TeX:
\ddots