☰

如何区分除法和排序符号？

tag-icon • tag-icon symbols
如何区分除法和排序符号？

我想写类似的内容$|X|||G|$，但不清楚 X 的阶整除 G 的阶。我该如何做正确？

答案1

\documentclass{scrartcl}
\usepackage{mathtools}

\DeclarePairedDelimiter\ord{\lvert}{\rvert}
\providecommand\divides{} % Trick used because \divides is defined with some packages
\renewcommand*\divides{\mathrel{|}} % If you want it bigger by default use \mathrel{\big|}

\begin{document}
$\ord{X} \divides \ord{G}$
\end{document}

如果您希望它总是默认大一点，请使用\renewcomand*\divides{\mathrel{\big|}}。现在，这是一般情况；但如果您只想这次（或在任何其他特殊场合）更改它怎么办？我认为最可接受的方法是使用\bigm|（或任何大小，\biggm|等）而不是\divides。

$\ord{X} \bigm| \ord{G}$

答案2

作为一个在类似情况下一直使用“除法”符号的人，我发现一旦开始使用其他竖线，它就不是一个非常合适的符号。（出于完全相同的原因，我在集合理解中谨慎使用竖线。）

实际上，你应该写成类似$\lvert G \rvert \in \lvert X \rvert \mathbb Z$或 （更好！）we have $\lvert G \rvert = m \lvert X \rvert$ for some $m \in \mathbb Z$这样的格式，毕竟这才是你真正想要表达的意思。如果这样会使你的数学难以解析，那么就没有必要费尽心思尽可能紧凑地表达所有内容。

相关内容