居中符號被帶下括號的文字和損壞的下括號所取代

Question

我有以下程式碼：

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

在我的文檔中看起來像這樣：

我有兩個問題，第一個是我希望 subseteq 符號在兩個表達式之間居中，第二個下括號看起來有點破損，但我想沒有辦法解決這個問題。

Answer 1

我無法用牙套重現您的問題。關於符號居中：如果將「Finitamente satisfacible」分成兩行，則很容易居中：

\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}

編輯：由於您堅持將文字放在一行大括號內...因此您唯一能做的就是增加左項和subseteq符號之間的空格：

為此，方程式為：

\[
\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/\oberbracket（在 中定義mathtools）：

\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}}
\]