A constraint in the form of a linear matrix inequality

\begin{equation*} ax \leq b, \end{equation*}

used in mixed-integer linear programming.