I want to formulate a linear program but I have not been able to find exactly what I am looking for. It should look similar to this picture:

enter image description here

The main difference is that I want automatic numbering on right side (like an equation) and a label on the left side i.e. (LP)

I need at least 5 columns (+numbering)

With what should I start array, equation, alignat, or align? How can achieve this?

Endresult This is the final code (a modified version of Werner's code). I wrote some new commands, now everybody can use these easy commands without caring about proper alignment. Thank you Werner.


% Linear Programm Tex Example 
\newcommand{\objective}[2] { & \text{#1} \quad \mathrlap{#2}}
% includes s.t. in front
\newcommand{\stconstraint}[4] { & \text{s.t.} & #1 & \quad #2 \quad #3 && \quad  #4}
\newcommand{\constraint}[4] { & & #1 & \quad #2 \quad #3  && \quad #4}

\newcommand{\lpnameend}[1]{ \zsavepos{bottom-lp}
 % End Linear Programm Tex Example      


 \objective{min}{\sum_{a \in A} k_a u_a + \sum_{r \in R} \sum_{a \in A} f_a^r y_a^r}  \\
 \stconstraint{\smashoperator{\sum_{a \in \delta_i^+}} y_a^r - \smashoperator{\sum_{a \in \delta_i^-}} y_a^r}{=}{\left\{\begin{array}{@{}rl@{}}
       1, & \text{falls $i = O^r$} \\
      -1, & \text{falls $i = D^r$} \\
       0, & \text{sonst} \\
    \end{array}\right.}{(\forall r \in R)(\forall i \in V)} \\
    \constraint{y_a^r}{\leq}{ u_a}{ (\forall r \in R)(\forall a \in A)} \\
    \constraint{u_a}{\in}{\{0,1\}}{(\forall a \in A)} \\
    \constraint{y_a^r}{\in}{[0,1}{(\forall r \in R)(\forall a \in A)} 


The setup for the linear program is straight-forward using alignat. It's the placement of (LP) on the left that is more difficult if you wish to also include the auto-numbered equation-style provided by alignat. For this I've used the savepos module from zref to store the horizontal position of certain elements, and then move the label (LP) into position; horizontally against the left margin (using text-left-margin as reference); vertically halfway between the first line/top-lp and last/bottom-lp):

enter image description here




Here is some text.

  & \zsavepos{top-lp}\text{min} \quad \mathrlap{\sum_{a \in A} k_a u_a + \sum_{r \in R} \sum_{a \in A} f_a^r y_a^r} \\
  & \text{s.t.} \quad & \smashoperator{\sum_{a \in \delta_i^+}} y_a^r - \smashoperator{\sum_{a \in \delta_i^-}} y_a^r
    &= \left\{\begin{array}{@{}rl@{}}
       1, & \text{falls $i = O^r$} \\
      -1, & \text{falls $i = D^r$} \\
       0, & \text{sonst}
    \end{array}\right. & \quad & (\forall r \in R)(\forall i \in V) \\
  & & y_a^r &\leq u_a && (\forall r \in R)(\forall a \in A) \\
  & &   u_a &\in \{0,1\} && (\forall a \in A) \\
  & & y_a^r &\in [0,1] && (\forall r \in R)(\forall a \in A)\zsavepos{bottom-lp}


Since zref uses (La)TeX's \label-\ref system you need to compile at least twice on the first go. Thereafter, with an intact .aux, things should run smoothly.

  • this looks fantastic. Thank you! The columns have more vertical empty space between each other! Is there a general property you can modify like the $jot$ for the height? – user3613886 Jan 13 '15 at 21:02
  • @user3613886: alignat sets its contents next to one another without any space in between (see How to write a mathematical formula in 2 lines?). If you want space, you should insert this manually wherever needed, typically in the entry longest entry in that particular column. – Werner Jan 13 '15 at 21:05

I've written a package called lpform which does the formatting and labelling automatically.



An example of the lpform package in LaTeX


A way of writing explicit systems of equations (or inequalities) is given by the systeme package. It's documentation is in French, and how to get some stuff done is far from intuitive. But it works fine. Try:

    \sysdelim..  % No '{' or other decorations
    \systeme[x_1x_2s_1s_2s_3z]{  % Order for the variables
        x_1 +   x_2 + s_1     = \phantom{0}9,
        x_1 + 3 x_2 + s_2     = 12,
      - x_1 + 2 x_2 + s_3     = \phantom{0}2,
      - x_1 - 2 x_2       + z = \phantom{0}0
  • Could you maybe make your example compilable so that it is actually easy to test? – TeXnician Jul 4 '18 at 15:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.