Źródło TeX:

-x_1+x_2+x_3+x_4≤-6