TeX では記号 ≅ を \cong で書くし、 HTML の実体参照も ≅ となっている。が、 "Re: 記号の意味" にもあるとおり、この記号を合同（図形の、もしくは数論での）の意味で使うのを見たことなかったのだが、外国では図形の合同の意味で使われているようだ…