Fuente TeX:
a_1 \geq 3^1 \implies 3 \geq 3