区切り文字内で `\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}

おそらく、高すぎる括弧が付いている最初のものを除外して、3 番目のものを選択します。