其实很简单，Latex 很多符号都是语义化的。就是 in 和 not in。


a \in A

b \notin B

展示如下：

\[ a \in A, b \notin B \]