다음 코드가 있습니다.
$$
\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/\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}
답변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}}
\]