我可以在一篇文章中使用两种 setbuilder 符号吗？

Question 1

这实际上不是一个 TeX 问题（因此可能会因为偏离主题而被关闭），但如果您认为您的用户可能会担心不同的国家实际上意味着不同的东西，那么最好坚持一个。例如，如果您坚持使用，您可以通过使用而不是（在用定义之后）来\mid避免符号冲突\abs(x)|x|\abs\DeclareMathOperator

在此处输入图片描述

\documentclass{article}
\usepackage{amsmath}

\DeclareMathOperator\abs{abs}
\begin{document}

\[
\{f \mid f\colon M \rightarrow N \text{ is continuous}\}
\]

and


\[
 \{x \mid \abs(x) = 1\}.
\]

\end{document}

Answer

这实际上不是一个 TeX 问题（因此可能会因为偏离主题而被关闭），但如果您认为您的用户可能会担心不同的国家实际上意味着不同的东西，那么最好坚持一个。例如，如果您坚持使用，您可以通过使用而不是（在用定义之后）来\mid避免符号冲突\abs(x)|x|\abs\DeclareMathOperator

在此处输入图片描述

\documentclass{article}
\usepackage{amsmath}

\DeclareMathOperator\abs{abs}
\begin{document}

\[
\{f \mid f\colon M \rightarrow N \text{ is continuous}\}
\]

and


\[
 \{x \mid \abs(x) = 1\}.
\]

\end{document}

Question 2

我认为一致性更好。你可以做的是强调竖线或冒号之间的差异，并留出空格，例如

$\bigl\{ f\colon M \to N \; : \; \text{$f$ is continuous} \bigr\}$

使用冒号周围的空格进行输出

或调整分隔符大小，例如

$\bigl\{ x \;\big|\;  \lvert x \rvert = 1 \bigr\}$

使用增加的分隔符大小进行输出

（在后一种情况下，我会倾向于使用\Bigl、\Big和\Bigr，但这对于散文段落内的内联数学运算效果不太好。）

我发现空格和较大的分隔符有助于在手动（或者是光学？）解析时强化不同级别的数学语法之间的区别，并且当在不同角色中重复出现相似的符号时，这会很有帮助。

Answer