TeX source:

5-2 x > 0 \quad \text{The input must be positive.}