如何在分隔符内自动缩放“\mid”

Question

\mid\left预计和分隔符内\right应该自动缩放，但今天我注意到了这样的行为：

L = \sup \left\{ \sum_{x \in F} a(x) \mid F \subset X,\, |F| < \infty \right\},

我认为最佳的中间栏应该稍微高一些。（或者这只是错觉？）有什么想法吗？谢谢。

顺便说一句，此行为是在 中触发的amsart。我没有在其他文档类中测试它（尽管如此，我相信只要\mid定义了 ，行为就应该是相同的）。

Answer 1

以下是一些可能的选择

\documentclass{article}
\usepackage{mleftright}
\begin{document}
\[
L = \sup \mleft\{\, \sum_{x \in F} a(x) \;\middle|\; F \subset X,\, |F| < \infty \,\mright\},
\]
\[
L = \sup \biggl\{\, \sum_{x \in F} a(x) \mathrel{\bigg|} F \subset X,\, |F| < \infty \,\biggr\},
\]
\[
L = \sup \biggl\{\, \sum_{x \in F} a(x) \mathrel{\Big|} F \subset X,\, |F| < \infty \,\biggr\},
\]
\end{document}

我可能会选择第三个，排除第一个，因为它的支架太高。