Cómo escalar automáticamente `\mid` dentro de los delimitadores

Question

\midSe espera que dentro \lefty \rightdelimitadores se escale automáticamente, pero hoy noté este comportamiento:

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

Supongo que la barra intermedia óptima debería ser algo más alta. (¿O es sólo una ilusión?) ¿Alguna idea? Gracias.

Por cierto, este comportamiento se desencadenó en amsart. No lo probé en otras clases de documentos (sin embargo, creo que el comportamiento debería ser el mismo siempre que \midesté definido).

Answer 1

Aquí hay algunas opciones posibles.

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

Yo elegiría el tercero, probablemente, descartando el primero que tiene tirantes demasiado altos.