구분 기호 내에서 `\mid`를 자동으로 확장하는 방법

Question

\midinside \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}

나는 중괄호가 너무 높은 첫 번째 것을 제외하고 세 번째를 선택할 것입니다.