TeX source:
\forall a > 0