>>238
中学生でも知ってる三角形の合同とか
代数でやるa≡b(mod k)とか
恒等的に等しいという場合とか
定義は全く別の記号でだいたい⇔だったり=のちょこんとした奴だったりする