a≡bを否定したいなら
¬(a≡b)と書けばいいのでは。