☰

如何正确地分解包含大量内联公式的文本？

tag-icon • tag-icon line-breaking paragraphs inline
如何正确地分解包含大量内联公式的文本？

我有以下文件：

\documentclass{article}
\begin{document}
\textbf{Theorem:}
$\forall x_0\cdots\forall x_{n+2}(
\forall x_{n+3}(x_{n+3}\in x_{n+1}\leftrightarrow
\bigvee_{i=0}^n(x_{n+3}=x_i))\land
\forall x_{n+3}(x_{n+3}\in x_{n+2}
\leftrightarrow\bigvee_{i=0}^n(x_{n+3}=x_i))
\rightarrow x_{n+1}=x_{n+2})$.
\end{document}

编译时，我收到一条Overfull \hbox (29.87967pt too wide)警告消息：。我可以通过添加定理语句之前的内容来消除它\raggedright，但这样行就不会完全填充。无论 LaTeX 决定在哪里打破公式，我都希望文本对齐。我该如何实现这一点？

谢谢。

答案1

我建议对你的代码进行几处修改：1）你可以使用由阿姆斯特丹包。2）我不会直接在内联数学模式下编写公式，而是使用由数学包。3) 我还建议您在定理的开头添加一些文字来定义表达式中涉及的术语。这是您定理的修改版本：

\documentclass{article}
\usepackage{amsmath}
\usepackage{amsthm}

\newtheorem{theo}{Theorem}

\begin{document}

\begin{theo}
Let $x_0, x_1\ldots x_{n+3}$ be...
\begin{multline*}
  \forall x_0 \cdots \forall x_{n+2} \biggl(
    \forall x_{n+3} \bigl( x_{n+3} \in x_{n+1} \leftrightarrow
    \bigvee_{i=0}^n (x_{n+3}=x_i) \bigr) \\ 
  \land \forall x_{n+3}\bigl( x_{n+3} \in x_{n+2}
    \leftrightarrow\bigvee_{i=0}^n(x_{n+3}=x_i) \bigr)
    \rightarrow x_{n+1}=x_{n+2} \biggr).
\end{multline*}
\end{theo}

\end{document}

相关内容