>>909

a = b ⇔ a ≦ b かつ a ≧ b

なので

普通に使われるのではないでしょうか？

A = B ⇔ A ⊂ B かつ A ⊃ B

なんかも似たようなものですよね。