在高中数学中，常见的逻辑符号及其含义如下：
非（not）：用符号“~”表示，表示取反，即如果原命题为真，则非命题为假；如果原命题为假，则非命题为真。
与（and）：用符号“∧”表示，表示“且”的关系，即当两个命题同时为真时，与命题为真；否则为假。
或（or）：用符号“∨”表示，表示“或”的关系，即当两个命题中至少有一个为真时，或命题为真；否则为假。
蕴含（implies）：用符号“→”表示，表示“如果……，那么……”的关系，即当前件为真时，后件必定为真；如果前件为假，则整个命题为真。
等价（equivalent）：用符号“↔”表示，表示“当且仅当”的关系，即当两个命题的真假情况相同时，等价命题为真；否则为假。
这些逻辑符号可以用来表达数学中的命题、推理、证明等内容。在数学中，逻辑符号被广泛应用于逻辑、集合论、代数、数论等领域。
∈，属于，⊃含于，≒，定义
