答案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.}}}
\]
答案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}
答案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}}
\]