TeX source:

A\vdash A