TeX source:
\vdash A\to A