Fuente TeX:
0\leq a-1