Интервал по определенной формуле

Интервал по определенной формуле

Latex форматирует эту формулу, сплющивая ее вместе. Как мне правильно ее отформатировать?

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

введите описание изображения здесь

EDIT: Вот мое решение, которое дает именно то, что мне нужно. Однако этот интервал должен быть сделан автоматически, а не вручную. Есть ли какие-либо пакеты, которые легко определяют макросы для этого?

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

решение1

Вот некоторые предложения:

введите описание изображения здесь

\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}

Объявление парного разделителя позволяет масштабировать содержимое в соответствии с вашими потребностями. Использование \left... \rightнапрямую иногда не обеспечивает хорошего интервала. Однако,существуют альтернативычто улучшает это.

Связанный контент