
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
напрямую иногда не обеспечивает хорошего интервала. Однако,существуют альтернативычто улучшает это.