相当于？
\mid\, | \,
我之所以问这个问题，是因为，\mid与不配合\big。但是\,\big| \,工作正常。我在定义集合时通常使用这些表达式，例如：
答案1
它们并不等价。 周围的空间\mid是，通常是（插入的）\thickmuskip的两倍。\thinmuskip\,
如果您想要一个更大的条形图作为关系符号，请使用
\Bigm|
（m代表“中间”，按照惯例，这产生了一个关系符号）。
如果你使用 LaTeX，不使用$$。您还应该使用\Bigl作为左分隔符和\Bigr右分隔符。
让我们比较一下结果：
\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{gather}
\Bigl\{ \sum_{k=1}^n k \,\Big|\, n\leq 5 \Bigr\} \\
\Bigl\{ \sum_{k=1}^n k \Bigm| n\leq 5 \Bigr\} \\
\Bigl\{\, \sum_{k=1}^n k \Bigm| n\leq 5 \Bigr\}
\end{gather}
\end{document}
在最后一个中，我通过将括号稍微移到比总和更远的位置来添加了一个狭窄的空间以避免冲突。
