Espaçamento em uma fórmula específica

Espaçamento em uma fórmula específica

O Latex está formatando esta fórmula toda comprimida. Como faço para formatá-lo corretamente?

$\varphi' \gets \left\{ C_n \setminus C_i \middle| C_n \textrm{does not interfere with} C_i\right\}$

insira a descrição da imagem aqui

EDIT: Aqui está a minha solução, que produz exatamente o que eu quero. Porém, esse espaçamento deve ser feito automaticamente e não manualmente. Existe algum pacote que defina macros para isso facilmente?

$\varphi' \gets \{\, C_n \setminus C_i \,|\, C_n \textrm{ does not interfere with }  C_i\,\}$

Responder1

Aqui estão algumas sugestões:

insira a descrição da imagem aqui

\documentclass{article}

\usepackage{mathtools}
\DeclarePairedDelimiter{\setbuildernotation}{\lbrace}{\rbrace}
\newcommand{\setbuilder}{\setbuildernotation}
\begin{document}

$\varphi' \gets \left\{ C_n \setminus C_i \middle| C_n \textrm{does not interfere with} C_i\right\}$

\medskip

$\varphi' \gets \{\, C_n \setminus C_i \,|\, C_n \textrm{ does not interfere with } \, C_i\,\}$

\medskip

$\varphi' \gets \setbuilder{C_n \setminus C_i \mid C_n \text{ does not interfere with }  C_i}$

\medskip

% https://tex.stackexchange.com/q/2184/5764
$\varphi' \gets \setbuilder[\big]{C_n \setminus C_i \bigm\vert C_n \text{ does not interfere with }  C_i}$

\end{document}

Declarar um delimitador emparelhado permite dimensionar o conteúdo para atender às suas necessidades. Usar \left... \rightimediatamente às vezes não proporciona um bom espaçamento. No entanto,existem alternativasisso melhora nisso.

informação relacionada