-\def\vcentcolon{:} mathtools :
-\def\dblcolon{\vcentcolon\kern-8mu\vcentcolon} mathtools ::
-\def\coloneqq{\vcentcolon\kern-7mu=} mathtools ≔
-\def\Coloneqq{\dblcolon\kern-7mu=} mathtools ::=
-\def\coloneq{\vcentcolon\kern-7mu-} mathtools :-
-\def\Coloneq{\dblcolon\kern-7mu-} mathtools ::-
-\def\eqqcolon{=\kern-8mu\vcentcolon} mathtools ≕
-\def\Eqqcolon{=\kern-8mu\dblcolon} mathtools =::
-\def\eqcolon{-\kern-8mu\vcentcolon} mathtools -:
-\def\Eqcolon{-\kern-8mu\dblcolon} mathtools -::
-\def\colonapprox{\vcentcolon\kern-7mu\approx} mathtools :≈
-\def\Colonapprox{\dblcolon\kern-7mu\approx} mathtools ::≈
-\def\colonsim{\vcentcolon\kern-7mu\sim} mathtools :∼
-\def\Colonsim{\dblcolon\kern-7mu\sim} mathtools ::∼
+\def\vcentcolon{:} mathrel : mathtools
+\def\dblcolon{\vcentcolon\kern-8mu\vcentcolon} mathrel :: mathtools
+\def\coloneqq{\vcentcolon\kern-7mu=} mathrel ≔ mathtools
+\def\Coloneqq{\dblcolon\kern-7mu=} mathrel ::= mathtools
+\def\coloneq{\vcentcolon\kern-7mu-} mathrel :- mathtools
+\def\Coloneq{\dblcolon\kern-7mu-} mathrel ::- mathtools
+\def\eqqcolon{=\kern-8mu\vcentcolon} mathrel ≕ mathtools
+\def\Eqqcolon{=\kern-8mu\dblcolon} mathrel =:: mathtools
+\def\eqcolon{-\kern-8mu\vcentcolon} mathrel -: mathtools
+\def\Eqcolon{-\kern-8mu\dblcolon} mathrel -:: mathtools
+\def\colonapprox{\vcentcolon\kern-7mu\approx} mathrel :≈ mathtools
+\def\Colonapprox{\dblcolon\kern-7mu\approx} mathrel ::≈ mathtools
+\def\colonsim{\vcentcolon\kern-7mu\sim} mathrel :∼ mathtools
+\def\Colonsim{\dblcolon\kern-7mu\sim} mathrel ::∼ mathtools