Latex está formateando esta fórmula, todos juntos. ¿Cómo lo formateo correctamente?
$\varphi' \gets \left\{ C_n \setminus C_i \middle| C_n \textrm{does not interfere with} C_i\right\}$
EDITAR: Aquí está mi solución, que produce exactamente lo que quiero. Sin embargo, este espaciado debe realizarse automáticamente, no manualmente. ¿Existe algún paquete que defina macros para esto fácilmente?
$\varphi' \gets \{\, C_n \setminus C_i \,|\, C_n \textrm{ does not interfere with } C_i\,\}$
Respuesta1
Aquí hay algunas sugerencias:
\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 un delimitador emparejado le permite escalar el contenido para adaptarlo a sus necesidades. Usar \left... \rightdirectamente a veces no crea un buen espaciado. Sin embargo,existen alternativaseso mejora esto.