TeX source:
A^*