Congruent ()

WML link


Congruent[xy, ...]

displays xy ≡ ...

Colon
Coproduct