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

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

我有以下代码:

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

在我的文档中它看起来像这样:

在此处输入图片描述

我对此有两个问题,第一,我希望 subseteq 符号位于两个表达式的中心;第二,第二个下括号看起来有点坏了,但我想没有办法解决这个问题。

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

在此处输入图片描述

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

相关内容