Zentriersymbol durch unterschränkten Text und unterbrochene Unterschränkte verschoben

Question

Ich habe folgenden Code:

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

Und in meinem Dokument sieht es so aus:

Ich habe damit zwei Probleme: Erstens möchte ich, dass das Unterklammern-Symbol zentriert zwischen den beiden Ausdrücken steht, und zweitens sieht die zweite Unterklammer etwas kaputt aus, aber ich kann mir vorstellen, dass sich das nicht beheben lässt.

Answer 1

Ich kann Ihr Problem mit Klammern nicht reproduzieren. Bezüglich der Zentrierung des Symbols: Es ist einfach zu zentrieren, wenn Sie „Finitamente satisfacible“ in zwei Zeilen aufteilen:

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

Bearbeiten:Da Sie darauf bestehen, Text in Klammern in einer Zeile zu haben, können Sie nur den Abstand zwischen dem linken Term und dem Subseteq-Symbol vergrößern:

Die Gleichung hierfür lautet:

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

Bearbeiten (2):Der Vollständigkeit halber bevorzuge ich die folgende Lösung:

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

Sie können auch \underbrace\overbraceund verwenden \mathclap. Ich gebe ein Beispiel mit \underbracket/\oberbracket(definiert in 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

Die Antwort von @Zarco ist sehr vollständig, ich werde aber eine andere Option anbieten. Das Problem scheint der Text unter den Klammern zu sein. Hier ist meine Alternative:

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