-% Display a ``Discrete Complementarity Set'' (DCS). The first argument
-% is the name of the cone, the second argument is a generating set for
-% that cone, and the third argument is a generating set for its dual.
-\newcommand*{\DCS}[3]{ C\of{{#1}} \cap \qty{ {#2} \times {#3} } }
-