Como dimensionar automaticamente `\ mid` dentro dos delimitadores

Question

\midEspera-se que dentro \lefte \rightdelimitadores sejam dimensionados automaticamente, mas hoje notei esse comportamento:

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

Suponho que a barra intermediária ideal deva ser um pouco mais alta. (Ou isso é apenas uma ilusão?) Alguma ideia? Obrigado.

Aliás, esse comportamento foi acionado no amsart. Não testei em outras classes de documentos (no entanto, acredito que o comportamento deva ser o mesmo desde que \midesteja definido).

Answer 1

Aqui estão algumas escolhas possíveis

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

Eu escolheria o terceiro, provavelmente, descartando o primeiro que tem colchetes muito altos.