TeX source:
x^*=0