绝对符号和或（逻辑）符号之间有区别吗？

Question

我正在为朋友将一份文档转换为 LaTeX，它有以下等式：

我问过他这是否正确，他说是的（我不是工程师/数学家）。作者很擅长他所做的事情，但不太在意表现——他用 Epsilons 来表示 IN SET 符号\in。

我为其想出了以下 LaTeX 代码：

\begin{equation}
C\left(P_{s1}, P_{s2} \right) = \frac{\left| \left\{\left. y \in  P_{s2} \right| \exists x \in P_{s1}:x > y \right\} \right|}{\left| P_{s2} \right|}
\end{equation}

得出以下结论：

我关心的是准确性；绝对（数学）符号和或（逻辑）符号在 LaTeX 中的表示方式是否相同？是否有标准方法让读者区分它们？

Answer 1

不要过度使用\left和\right。事实上，对于本公式，根本不要使用它们，因为它们实际上不会改变括号的大小，但会弄乱间距。如果您需要更大的“栅栏”符号，请使用\bigl和\bigr指令。

使用\colon而不是:，并使用\mid或\bigm\vert作为表示条件的垂直线（其左侧的材料与其右侧的材料的条件）。

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{equation}
C(P_{s1}, P_{s2} ) = \frac{\bigl\lvert \bigl\{ \,
y \in  P_{s2} \bigm\vert \exists x \in P_{s1}\colon x > y
\, \bigr\} \bigr\rvert }{\lvert P_{s2}\rvert}
\end{equation}
\end{document}