TeX source:
ABC