此符号涵盖：平行，逻辑或，恰整除等多重意义，在数学、计算机领域应用丰富。
‖详细介绍
此符号涵盖：平行，逻辑或，恰整除等多重意义，在数学、计算机领域应用丰富。
‖定义
在同一平面内，永不相交的两条直线互相平行。
‖性质
1。传递性：平行于同一直线的两条直线互相平行
2。三线八角：同位角相等,两直线平行；
内错角相等,两直线平行；
同旁内角互补； 两直线平行。
符号：∥读作“平行于”
‖在C语言编程
‖定义
逻辑或，是逻辑运算符，符号是“||”(在PASCAL中为"or")。 “逻辑或”相当于生活中的“或者”，当两个条件中有任一个条件满足，“逻辑或”的运算结果就为“真”。
‖输入方式
逻辑运算符把各个运算的变量（或常量）连接起来组成一个逻辑表达式。它可以再键盘上通过使用两次组合键“shift+” 打出来。
逻辑运算符有4个，它们分别是： ！(not)（取反）、 ||(or)（逻辑或）、&&(and)（逻辑与） ^(xor)（异或）。在位运算里面还有 &（位与）、|（位或）的运算。(PASCAL语言中逻辑与位运算使用同个操作符)
‖性质
逻辑或满足以下性质：
结合律: A||B||C）≡ (A||B)||C
交换律: A||B ≡ B||A
分配律: A||(B∧C) ≡ ((A||B)∧(A||C))
A∧(B||C) ≡ ((A∧B)||(A∧C))
A||(B≡C) ≡ ((A||B)≡(A||C))
幂等律: A||A ≡ A
单调性: (A→B)→((C||A)→(C||B))
(A→B)→((A||C)→(B||C))
保真性: 所有变量的真值皆为“真”的命题在逻辑或运算后的结果为真。 保假性: 所有变量的真值皆为“假”的命题在逻辑或运算后的结果为假。
‖恰整除
‖定义
p的a次方恰好整除n，但p的a+1次方无法整除n。
‖应用
讨论费马小定理、数论中的伪质数的时候用到。
