集合关系符号 代码符号代码符号\forall∀\forall∀\exist∃\exist∃+\infty+∞+\infty+∞-\infty−∞-\infty−∞\varnothing∅\varnothing∅\emptyset∅\emptyset∅\lceil⌈\lceil⌈\rceil⌉\rceil⌉\lfloor⌊\lfloor⌊\rfloor⌋\rfloor⌋\le≤\le≤\ge≥\geq≥\neq≠\neq=\cup∪\cup∪\land∧\land∧\vee∨\vee∨\neg¬\neg¬\And&\And&