居中符号因支撑线不足的文本和支撑线断裂而发生位移

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}

编辑：由于您坚持将括号内的文本放在一行中……那么您唯一能做的就是增加左项和子集符号之间的间距：

为此，方程式为：

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