Source TeX:
\top