-\def\vcentcolon{\kern4mu:\kern3mu} 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