Центрирующий символ смещен текстом в нижних скобках и сломанной нижней скобкой

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