双向箭头即等值命题(或称为充要条件)。
命题的“双条件”运算:p<=>q 命题p与q的等价关系
关系符号
如“=”是等号,“≈”是近似符号(即约等于),“≠”是不等号,“>”是大于符号,“<”是小于符号,“≥”是大于或等于符号(也可写作“≮”,即不小于),“≤”是小于或等于符号(也可写作“≯”,即不大于),“→ ”表示变量变化的趋势,“∽”是相似符号;
“≌”是全等号,“∥”是平行符号,“⊥”是垂直符号,“∝”是正比例符号(表示反比例时可以利用倒数关系),“∈”是属于符号,“⊆”是包含于符号,“⊇”是包含符号,“|”表示“能整除”。
(例如a|b 表示“a能整除b”,而||b表示r是a恰能整除b的最大幂次),x,y等任何字母都可以代表未知数。