TeX source:

3+1.2 c \geq 13.50