三个横的数学符号是什么意思?

等号（=），近似等号（≈），不等于号（≠），大于号（>），小于号（<），恒等或同余号（≡），相似号（≈），全等号（≌），这些符号表示数、式或图形之间的关系，叫做关系符号。还有平行符号（‖），垂直符号（⊥），比符号（∶），属于符号（∈），这些都是关系符号。
http://www.sxdj99.com/interest/ShowArticle.asp?ArticleID=2938

同余
给定任意整数a和q，则必存在整数s和r，使得a=sq+r，0≤r<q，

其中s=[a/q],表示小于a/q的最大整数，称为商。

r为a mod q的剩余.

若整数a mod q和b mod q有相同的剩余，则称a与b在mod q下同余。记为a≡b mod q

恒等

同余