A⇒B表示 A推出B
⇔等价
↔这个不知道,应该不是正规的吧.
¬非
P∧Q 表示 P或Q
P∨Q 表示P且Q
∀任意
∃存在
∈属于
⊂包含于
⊃包含
∪并
∩交
→没见过
←这个也见过
希望对你有帮助.