Símbolo de centrado desplazado por texto subrayado y refuerzo roto

Question

Tengo el siguiente código:

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

Y se ve así en mi documento:

Tengo dos problemas con esto, el primero es que quiero que el símbolo subseteq esté centrado, entre las dos expresiones, y el segundo es que la segunda llave inferior parece un poco rota, pero imagino que no hay forma de solucionarlo.

Answer 1

No puedo reproducir tu problema con los frenillos. Respecto al centrado del símbolo: es fácil centrarlo si divide "Finamente satisfacible" en dos líneas:

\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:Dado que persiste en tener texto entre llaves en una línea... lo único que puede hacer es aumentar el espacio entre el término izquierdo y el símbolo subseteq:

Para esto la ecuación es:

\[
\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, preferiré la siguiente solución:

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

También puedes usar \underbrace\overbracey \mathclap. Doy un ejemplo con \underbracket/\oberbracket(definido en 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

La respuesta dada por @Zarco es muy completa, daré otra opción. El problema parece ser el texto debajo de las llaves. Aquí está mi 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}}
\]