Как автоматически масштабировать `\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}

Я бы выбрал третий вариант, пожалуй, исключив первый, у которого слишком высокие брекеты.