So skalieren Sie `\mid` automatisch innerhalb von Trennzeichen

Question

\midInnerhalb \leftund \rightTrennzeichen sollten automatisch skaliert werden, aber heute ist mir folgendes Verhalten aufgefallen:

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

Ich nehme an, dass der optimale Mittelbalken etwas höher sein sollte. (Oder ist das nur eine Illusion?) Irgendwelche Ideen? Danke.

Dieses Verhalten wurde übrigens in ausgelöst amsart. Ich habe es nicht in anderen Dokumentklassen getestet (dennoch glaube ich, dass das Verhalten dasselbe sein sollte, solange \mides definiert ist).

Answer 1

Hier sind einige mögliche Optionen

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

Ich würde wahrscheinlich die dritte wählen und die erste ausschließen, da dort die Zahnspange zu hoch ist.