TeX source:
\forall a > 0, a \ne 0