Źródło TeX:

-x_1-x_2+x_3+2x_4≥15