TeX source:

ABC