符号和概念
符号对应的Unicode编码为十进制。
Windows中输入符号可以直接按下Alt+10进制，如输入∈按住Alt后依次按下8712后松开Alw
Z = { .... -3, -2, -1, 0, 1, 2, 3, ......}，Z在大多数情况下表示整数集合
N，通常指从0开始的非负整数（自然数），有时也表示从1开始的正整数，具体视上下文而定。目前对于0是否是自然数依然有争议，所以称为非负整数即可。
Q，有理数集合
R，实数集合
C，复数集合
P，质数（也称素数）集合，大于1 且 只能被1和自身整数的数，一般指正整数
合数：与上面的是素数（质数），即除了1和自身还能被其它数整除的数
∈表示前者属于后者的成员，如：a,b ∈ Z，表示a和b在Z集合中，也就是整数。Unicode：8712
⟺表示双向蕴含，这个符号通常表示 逻辑上的双向蕴含（biconditional）。它的意思是 “当且仅当”，即两边的陈述在逻辑上是等价的，两个命题必须同时为真或同时为假。Unicode：10234
±，第一种含义：a±b，加减号，表示前者加上后者 或 前者减去后者；第二种含义：a=±b，正负号，表示a=-b或a=+b，正b或负b
因子：也称因数、除子、约数；表示整数之间存在整除关系。如ab=c，则a和b都是因子，ab相乘可以得出积，而积又是a和b的倍数
∤ 不能整除，a ∤ b 表示a不是b的因子，a不能整除b，b不能被a整除
"|" 整除，b｜a表示b整除a，a被b整除，b是a的因子。同时b|a ⟺ a=qb，因为一定存在另一个因子q。
整除
b|a，表达一种关系，b可以整除a；a可以被b整除，b是a的因子（b有可能等于a）。（|符号为divides，分割）
设a,b ∈Z，意味着必定还存在一个因子q ∈Z，使得a=qb
例：3|12，12=4×3，q=4，b=3，a=12。
还具有以下性质（设a,b,c ∈Z）：
b|0
1|a
0|a ⟺ a=0。0能整除a当且仅当a=0
b|a ⟺ b|-a ⟺ -b|a，b为a的因子时，b也会是-a的因子，-b也会是a的因子
（自反性）a|a，任何整数都是自身的因子
（传递性）b|a且a|c，则b|c，如果b是a的因子、a是c的因子，则b一定是c的因子
（相乘性）b|a，则bc|ac
（消去性）bc|ac且c≠0，b|a
（线性性）b|a且b|c，s,t ∈Z，则b|(sa±tc)
（比较性）a,b ∈N且b|a，则b≤a