If I want to make D a binary relation, I declare \newcommand{\Drel}{\mathrel{D}} What about the opposite? I want to make the binary relation \equiv into a symbol? GG