如何打破内联数学方程式？

Question

我正在重写证明并遇到了一个很长的内联方程。但是，我无法拆分方程以使其仍然与证明环境对齐。是否有可以直接使用的代码来解决我的问题？我尝试在 $ . . . $ 和 ( . . . ) 内使用 \allowbreak 以及 \parbox，但都没有效果。这是我的代码：

\begin{document} 
\begin{proof}[\textbf{Proof}]
Let $O_n = \big\{ x \in X : \exists \text{ a neighborhood } U \text{ of } x \text{ such that }  U \cap E \neq \emptyset \text{ and the diameter of }  f[U \cap E] \text{ is less than } 1/n \big\}$.
\end{document}

Answer 1

正如其他人在评论中建议的那样，您可能希望主要在文本模式下编写证明文本，并在内联数学模式下呈现各种数学表达式。例如，像这样（我可能没有使用最恰当的可能性）：

\documentclass{article}
\usepackage{amsmath,amsthm}
\begin{document} 
\begin{proof}[\textbf{\upshape Proof}]
Let $O_n$ be the set $\{ x \in X \}$ in a neighborhood $U$ of $x$ such that $U \cap E \neq \emptyset$ and the diameter of $f[U \cap E]$ is less than $1/n$. \dots
\end{proof}
\end{document}

Answer 2

避免在集合构造符号中使用长集合描述，尤其是如果其中包含单词：读者将很难辨认它，因为括号在正常文本中并不那么突出。

您还应避免滥用可选参数proof来设置格式选项。不幸的是，amsthm仍然没有提供这样的功能，但很容易修补proof以实现此目的。

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

\xpatchcmd{\proof}{\itshape}{\proofnamefont}{}{}
\newcommand{\proofnamefont}{\normalfont\itshape\bfseries} % or whatever you like

\begin{document}

\begin{proof}
Let $O_n$ be the set of all $x\in X$ with the property that there exists 
a neighborhood $U$ of~$x$ such that $U \cap E \neq \emptyset$ and the 
diameter of $f[U \cap E]$ is less than~$1/n$.
\end{proof}

\end{document}