Símbolo de centralização deslocado por texto sem suporte e suporte quebrado

Question

Eu tenho o seguinte código:

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

E fica assim no meu documento:

Tenho dois problemas com isso, o primeiro é que quero que o símbolo subseteq fique centralizado, entre as duas expressões, e o segundo é que a segunda chave parece um pouco quebrada, mas imagino que não há como consertar isso.

Answer 1

Não consigo reproduzir seu problema com aparelho. Quanto à centralização do símbolo: é fácil centralizar, se você dividir "Finitamente satisfatório" em duas linhas:

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

Editar:Como você persiste em ter texto entre colchetes em uma linha ... o que você pode fazer é aumentar o espaço entre o termo esquerdo e o símbolo subseteq:

Para isso, a equação é:

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

Editar (2):Para completar, preferirei a seguinte solução:

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

Você também pode usar \underbrace\overbracee \mathclap. Dou um exemplo com \underbracket/\oberbracket(definido em 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

A resposta dada pelo @Zarco é bem completa, vou dar outra opção. O problema parece ser o texto entre colchetes. Aqui está minha alternativa:

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