当参数包含对齐符号时如何使用过度支撑和不足支撑

Question

我有一个分裂方程。

\documentclass{article}

\usepackage{mathtools}

\begin{document}

\begin{equation*}
\label{eq:elig}
\begin{split}
\Omega_{v} := \{(a,\sigma)|a \in A &\wedge b \in B \wedge x(a,b)=v\\ &\wedge (\forall \sigma' \in B)[x(a,\sigma')! \neq v \rightarrow ( \sigma' \in \Sigma_{\text{hib}} \vee b \in \Sigma_{\text{for}})]\}
\end{split}
\end{equation*}

\end{document} 

我需要overbrace在上面部分添加一个，underbrace在下面部分添加一个，但下面的方法不起作用。

\documentclass{article}

\usepackage{mathtools}

\begin{document}

\begin{equation*}
\label{eq:elig}
\begin{split}
\Omega_{v} := \{(a,\sigma)|\overbrace{a \in A &\wedge b \in B \wedge x(a,b)=v}^{\alpha}\\ &\wedge \underbrace{(\forall \sigma' \in B)[x(a,\sigma')! \neq v \rightarrow ( \sigma' \in \Sigma_{\text{hib}} \vee b \in \Sigma_{\text{for}})]}_{\beta}\}
\end{split}
\end{equation*}

\end{document}

我刚刚检查了一些其他问题，例如下面的问题，但它们涉及表格等不同情况。

在 amsmath 对齐环境中过度支撑

这是我真正需要的：

Answer 1

我认为您不需要对齐这两个\wedge符号：amultline更好。

\documentclass{article}

\usepackage{mathtools}

\begin{document}

\begin{multline*}
\label{eq:elig}
\Omega_{v} := \{(a,\sigma)\mid
  \overbrace{a \in A \wedge b \in B \wedge x(a,b)=v}^{\alpha}\\
  \wedge \underbrace{(\forall \sigma' \in B)[x(a,\sigma')!
     \neq v \rightarrow ( \sigma' \in \Sigma_{\mathrm{hib}}
     \vee b \in \Sigma_{\mathrm{for}})]}_{\beta}
\,\}
\end{multline*}

\end{document}

Answer 2

您可以插入\phantom要对齐的内容\wedge：

\documentclass{article}

\usepackage{amsmath}

\begin{document}

\begin{align*}
  & \Omega_v := \bigl\{ (a, \sigma) \mid
    \overbrace{a \in A \wedge b \in B \wedge x(a, b) = v}^{\alpha} \\
  & \phantom{\Omega_v := \bigl\{ (a, \sigma) \mid a \in A} % for alignment with \wedge
    \wedge \underbrace{(\forall \sigma' \in B) [x(a, \sigma')!
      \neq v \rightarrow ( \sigma' \in \Sigma_{\mathrm{hib}}
      \vee b \in \Sigma_{\mathrm{for}})]}_{\beta}
  \bigr\}
\end{align*}

\end{document}

Answer 3

如果你有理由保留对齐符号（例如这里），有一个基于 tikz 的替代方案：

\documentclass{article}
\usepackage{mathtools}
\usepackage{tikz}
\usetikzlibrary{matrix,decorations.pathreplacing,calc}
% from https://tex.stackexchange.com/questions/339526/confusion-over-use-of-tikzmark
\newcommand{\tikzmark}[1]{\tikz[overlay,remember picture] \node (#1) {};}
\begin{document}

\begin{equation*}
\label{eq:elig}
\begin{split}
\Omega_{v} := \{(a,\sigma)|\tikzmark{a}a \in A &\wedge b \in B \wedge
x(a,b)=v\tikzmark{v}\\ 
&\wedge \tikzmark{lb}(\forall \sigma' \in B)[x(a,\sigma')! \neq v \rightarrow
( \sigma' \in \Sigma_{\text{hib}} \vee b \in \Sigma_{\text{for}})\tikzmark{rb}]\}
\end{split}
\end{equation*}
\tikz[remember picture, overlay,decoration={brace}]{%
\draw[decorate,transform canvas={xshift=0em,yshift=0.75em},thick] (a.north) -- (v.north) node[above=3pt,midway] {$\alpha$};
\draw[decorate,transform canvas={xshift=0em,yshift=-0.5em},thick] (rb.south) -- (lb.south) node[below=3pt,midway] {$\beta$};}
\end{document}

在这里，您可以控制支架的距离、厚度等。这究竟是优点还是缺点，则取决于个人喜好。