I have an split equation.
\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}
I need to add an overbrace
to the upper piece and ans underbrace
to the lower one, but the following does not work.
\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}
I just checked some other questions like the one below, but they are about different situations like tables.
Overbrace in amsmath align environment
Here is what I really need:
&
in the argument of\overbrace
? Can you show an approximate representation of the desired output?