Источник TeX:
3x + 1 > 0