Zdroj TeX:
x^\ast \leq-a