案例或数组中的术语对齐

Question

下面的 MWE 显示了我是否使用案例或数组环境存在的问题。

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}

\[
\begin{cases}
\Phi^0_x\leqq 0, &{\Phi^{0}_x}'x_0=0,\\
\Phi_{z^*}^{0}\geqq 0, &{\Phi^{0}_{z^*}}'z_{0}^{*}=0.
\end{cases}
\]

\[
\left\{
\begin{array}{ll}
\Phi^0_x\leqq 0, &{\Phi^{0}_x}'x_0=0,\\
\Phi_{z^*}^{0}\geqq 0, &{\Phi^{0}_{z^*}}'z_{0}^{*}=0.
\end{array}
\right.
\]

\end{document}

不管怎样，我希望左边的不等式和右边的等式能够对齐。此外，我希望第二行的素数与第一行的素数相匹配。

Answer 1

你可以逃脱惩罚alignedat。

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}

\[
\left\{
\begin{alignedat}{3}
\Phi^0_x       &\leqq 0, &\qquad {\Phi^{0}_x}'    && x_0       &=0,\\
\Phi_{z^*}^{0} &\geqq 0, &\qquad {\Phi^{0}_{z^*}}'&& z_{0}^{*} &=0.
\end{alignedat}
\right.
\]

\[
\left\{
\begin{alignedat}{3}
\Phi^0_x       &\leqq 0, &\qquad (\Phi^{0}_x)'    && x_0       &=0,\\
\Phi_{z^*}^{0} &\geqq 0, &\qquad (\Phi^{0}_{z^*})'&& z_{0}^{*} &=0.
\end{alignedat}
\right.
\]

\end{document}

我添加了第二个版本，用括号将素数表达式括起来：在上面的例子中，素数似乎悬在空中。

Answer 2

像这样？在 amsldoc 第 3.7 节对齐构建块 p.9

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}
\begin{equation*}
    \left\{
    \begin{aligned}
        \Phi^0_x&\leqq 0, &{\Phi^{0}_x}'x_0&=0,\\
        \Phi_{z^*}^{0}&\geqq 0, &{\Phi^{0}_{z^*}}'z_{0}^{*}&=0.
        \end{aligned}
    \right.
\end{equation*}

\end{document}