Como posso fazer um tubo longo no modo matemático para conjuntos?

Question

Possível duplicata:
tubo “tal que” de tamanho variável

Atualmente tenho este código 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 \}

O que produz isso:

Mas eu gostaria de ter um tubo longo para o meu aparelho, não esse "|" curto. Como posso prolongar isso?

Answer 1

Você pode usar \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}

Observe os dois pequenos espaços que introduzi (antes e depois da barra vertical) e a mudança de \textpara \mathrm.

Se em vez dos \left\{...\right\}delimitadores estiver sendo utilizado algum dos comandos da \big..., \Big...família, então pode-se utilizar o \bigm,\Bigm,...comando correspondente:

\documentclass{article}
\usepackage{amsmath}

\begin{document}

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

\end{document}

Answer 2

Obraketpacotefornece esta funcionalidade para criar conjuntos usando a notação \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}​