1、在几何上，表示两个三角形相似。
2、在数学上，表示一个区间范围。
3、在数学上，表示等价关系。
4、在概率论上，表示服从某概率分布。
5、在逻辑学上，表示“非”，即命题的否定。
6、在字母a上面加上～表示：区别于a的一个量。
7、在数学上，表示“阶加”。
全称量词、全称命题。
├ 断定符（公式在L中可证）。
╞ 满足符（公式在E上有效，公式在E上可满足）。
命题的“非”运算，如命题的否定为﹁p。
∧ 命题的“合取”（“与”）运算、等于集合。
∨ 命题的“析取”（“或”，“可兼或”）运算。
命题的“条件”运算。
命题的“双条件”运算的。
p<=>q 命题p与q的等价关系。
p=>q命题p与q的蕴涵关系（p是q的充分条件，q是p的必要条件）。
