Как сделать длинную трубу в математическом режиме для множеств?

Question

Возможный дубликат:
труба переменного размера «такая, что»

В настоящее время у меня есть следующий код LaTeX:

\text{Aff}(M) := \left \{ \sum_{i=1}^k \lambda_i p_i | p_i \in M, \lambda_i \in \mathbb{K}, \sum_{i=1}^k \lambda_i = 1\right \}

Что производит это:

Но я хотел бы получить длинную трубу для своего набора, а не эту "|" короткую. Как мне сделать ее длинной?

Answer 1

Вы можете использовать \middle|:

\documentclass{article}
\usepackage{amssymb}
\usepackage{amsmath}

\begin{document}

$\mathrm{Aff}(M) := \left \{ \sum_{i=1}^k \lambda_i p_i \, \middle| \, p_i \in M, \lambda_i \in \mathbb{K}, \sum_{i=1}^k \lambda_i = 1\right \}$

\end{document}

Обратите внимание на два тонких пробела, которые я вставил (до и после вертикальной черты), а также на изменение с \textна \mathrm.

Если вместо разделителей используются \left\{...\right\}некоторые команды семейства , то можно использовать соответствующую команду:\big..., \Big...\bigm,\Bigm,...

\documentclass{article}
\usepackage{amsmath}

\begin{document}

$\bigm\lvert\quad\Bigm\lvert\quad\biggm\lvert\quad\Biggm\lvert$

\end{document}

Answer 2

Thebraketупаковкапредоставляет эту функциональность для создания наборов с использованием нотации \Set{...|...}:

\documentclass{article}
\usepackage{amssymb,amsmath}% http://ctan.org/pkg/{amssymb,amsmath}
\usepackage{braket}% http://ctan.org/pkg/braket

\begin{document}

$\mathrm{Aff}(M) := \Set{ \sum_{i=1}^k \lambda_i p_i | 
  p_i \in M, \lambda_i \in \mathbb{K}, \sum_{i=1}^k \lambda_i = 1 }$

\end{document}​