
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\}$
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:
\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
... \right
imediatamente às vezes não proporciona um bom espaçamento. No entanto,existem alternativasisso melhora nisso.