双钱符号不破线

Question

我试图陈述以下定理：

\documentclass[a4paper]{article}
\newtheorem{theo}{Teorema}
\DeclareMathSymbol{\mlq}{\mathord}{operators}{``}
\DeclareMathSymbol{\mrq}{\mathord}{operators}{`'}
\begin{document}

\begin{theo}

Si $\kappa$ es supercompacto y $G$ un filtro $Fn(\kappa,2)$-genérico sobre $V$ y $\phi$ una propiedad local y estructural,

$$V[G]\models\mlq\text{Si } \mathcal{X} \text{ es una estructura topológica tal que } \phi(\mathcal{X}) \text{ y } \hat{\chi}(\mathcal{X})\leq \kappa\textit{ entonces existe una subestructura } \mathcal{X}' \text{ de } \mathcal{X} tal que \phi(\mathcal{X}') \text{ y } |X|<\kappa\mrq$$

\end{theo}
\end{document}

我希望它看起来像这样： 使其更具可读性。

但是当我编写“V[G]\models”部分的版本时，Latex 不会中断行，而是使其成为一条溢出页面的长单行

像这样：

我能做些什么？

Answer 1

像这样：

由于您没有提供 mwe，我只能像您一样提供代码片段：

\[% V[G] explanation is centered
V[G]\models \parbox[t]{0.75\linewidth}{
            %\mlq  % what is this?
             Si $\mathcal{X}$ es una estructura topológica tal que $\phi(\mathcal{X})$ y $\hat{\chi}(\mathcal{X})\leq \kappa$ \textit{entonces existe una subestructura} $\mathcal{X}'$  de $\mathcal{X}$ tal que $\phi(\mathcal{X}')$ y $|X|<\kappa$ %\mrq % what is this?              
            }
\]

如您所见，您的文本在parbox。

补充： 将的解释V[G]推到右边界的解决方案：

\documentclass{article}
\usepackage{amssymb}
\usepackage{lipsum}

\begin{document}
\lipsum[11]
    \begin{flushright}% push all to right text border
$V[G]\models$ \parbox[t]{0.75\linewidth}{
                ''Si $\mathcal{X}$ es una estructura topológica tal que $\phi(\mathcal{X})$ y $\hat{\chi}(\mathcal{X})\leq \kappa$ \textit{entonces existe una subestructura} $\mathcal{X}'$  de $\mathcal{X}$ tal que $\phi(\mathcal{X}')$ y $|X|<\kappa$``}
\end{flushright}
\lipsum[12]
\end{document}