≅是"约等于";≈是“几乎等于(渐进于)”;≡是“等价于” 的意思。
≅是同构,抽象代数中的概念,抽象代数的更上层学科也会有出现,比如线性代数中两个空间同构。≈是约等于。≡是等价于,也有人说同余号,但其实同余就是一种等价关系。
三横是恒等,≅是矩阵等价。