TeX source:

ATP^{*}