如何根据集合论制作“如此”符号？

Question

我在集合论中寻找“这样的”符号。我不知道它叫什么，所以我不知道如何寻找它。目前，我只是使用这个“|”。什么是合适的符号？

Answer 1

\mid，因为它具有二元关系的间距。如果希望调整其大小，请参阅“如何自动调整集合推导中的垂直条的大小？”。

看一下“如何查找数学符号？”了解如何轻松找到特定符号。

Answer 2

有些作者使用符号\ni(∋)（例如，品特的《集合论》）。