Fuente TeX:
\forall n \geq 1, 2^n \neq 7