中央揃えのシンボルが、下括弧付きのテキストと下括弧の破れによってずれている

Question

次のコードがあります:

$$
\underbrace{ \{\varphi\}\cup\Delta_M\cup\{p_M\} }_{\text{Finito e instasifacible.} } \subseteq \underbrace{\Gamma\cup\Delta_{M+1}}_{\text{Finitamente satisfacible.}}
$$

私の文書では次のようになります:

これには 2 つの問題があります。1 つ目は、subseteq シンボルを 2 つの式の間の中央に配置したいのですが、2 つ目は、2 番目の下括弧が少し壊れているように見えることですが、これを修正する方法はないと思います。

Answer 1

中括弧に関する問題を再現できません。シンボルの中央揃えについて: 「Finitamente satisfacible」を 2 行に分割すると、中央揃えが簡単になります。

\documentclass{article}
    \usepackage{mathtools}

\usepackage[active,displaymath,tightpage]{preview}
    \setlength\PreviewBorder{1em}

\begin{document}
\[
\underbrace{ \{\varphi\}\cup\Delta_M\cup\{p_M\} }_{\text{Finito e instasifacible.} } \subseteq \underbrace{\Gamma\cup\Delta_{M+1}}_{\substack{\text{Finitamente}\\ \text{satisfacible.}}}
\]
\end{document}

編集：中括弧内のテキストを 1 行に保持する必要がある場合、実行できる唯一の方法は、左の項とサブセット記号の間のスペースを増やすことです。

この場合の方程式は次のようになります。

\[
\underbrace{ \{\varphi\}\cup\Delta_M\cup\{p_M\} }_{\text{Finito e instasifacible.} } 
    \qquad\subseteq \underbrace{\Gamma\cup\Delta_{M+1}}_{\text{Finitamente satisfacible.}}
\]

編集（2）：完全を期すために、私は次の解決策を好みます:

\[
\underbrace{ \{\varphi\}\cup\Delta_M\cup\{p_M\} }_{\substack{\text{Finito e}\\ \text{instasifacible.}}}  
    \subseteq 
\underbrace{\Gamma\cup\Delta_{M+1}}_{\substack{\text{Finitamente}\\ \text{satisfacible.}}}
\]

Answer 2

\underbrace\overbraceおよびを使用することもできます。 ( で定義)\mathclapの例を示します。\underbracket/\oberbracketmathtools

\documentclass{article}
    \usepackage{mathtools}


\begin{document}

\[
\underbracket[0.6pt][0.6ex]{\{\varphi\}\cup\Delta_M\cup\{p_M\} }_{\text{Finito e instasifacible.} } \subseteq \overbracket[0.6pt][0.6ex]{\Gamma\cup\Delta_{M+1}}^{\mathclap{\text{Finitamente satisfacible.}}}
\]

\end{document} 

Answer 3

@Zarco の回答は非常に完全ですが、別の選択肢を提示します。問題は中括弧の下のテキストにあるようです。これが私の代替案です:

   \[
\underbrace{\{\varphi\}\cup\Delta_M\cup\{p_M\}}_{\text{Finito e}\atop\text{insatisfacible}} \subseteq
\underbrace{\Gamma\cup\Delta_{M+1}}_{\text{Finitamente} \atop
\text{satisfacible}}
\]