如何在分隔符號內自動縮放“\mid”

Question

\midinside\left和\rightdelimiters 預計會自動縮放，但今天我注意到這樣的行為：

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}

我可能會選擇第三個，排除第一個括號太高的情況。