我正在尝试对集合做出一个简单的定义。
我的尝试：$M=\{x\,|\,1\le x\le p-2\}$
有没有更舒适的方式在 之前和之后留出一点空间|？我正在考虑类似 的方法，\mod它可以自行设置间距。
答案1
竖线通常使用 来生成\mid，它打印的符号与 相同|（或\vert，同义词）。
不同之处在于，它\mid被视为关系符号，因此其两侧会有较粗的空格：
$M = \{ x \mid 1 \le x \le p-2 \}$
许多人（包括 Knuth）建议在使用以下条件时添加细小的空间以便分离括号\mid：
$M = \{\, x \mid 1 \le x \le p-2 \,\}$
但
$X = \{1,2,3,4\}
列出元素时。随便挑一个。对于文档中数量较少的集合符号，这应该不是问题；但是当它们很多时，最好添加一个命令，以确保统一性：
\newcommand{\Set}[2]{%
\{\, #1 \mid #2 \, \}%
}
（%在这种情况下，这并不是必需的），因此你可以调用
$M = \Set{x}{1\le x\le p-2}$
而不必考虑细节。您还可以享受以下优势：如果挑剔的文字编辑说他们想要冒号而不是竖线，那么只需在 的定义中将\mid其改为 即可。:\Set
在一篇我为在会议论文集中发表而进行微调的论文中，集合被表示为三不同的方式：有时用竖线分隔，有时用冒号分隔，有时用分号分隔。符号的一致性是必需的，而不是可选项。
答案2
一个有趣的选项可能是加载布拉克特包并使用其命令\set和\Set。小写版本\set使用固定大小（小）花括号和中央竖线；大写版本允许“栅栏”符号随着其所包含的内容自动增长。
因此，您可以输入如下表达式
$M=\set{x|1\le x\le p-2}$
并让包正确完成格式化表达式的工作。