# mathtools.sty
vcentcolon cmr 58 58 mathrel : : mathtools
ordinarycolon cmr 58 58 mathrel : : mathtools
+\def\bigtimes{\mathop{\diagup\kern-16mu\diagdown}} mathtools
\def\dblcolon{\vcentcolon\mathrel{\kern-0.9mu}\vcentcolon} mathrel :: :: mathtools
\def\coloneqq{\vcentcolon\mathrel{\kern-1.2mu}=} mathrel ≔ ≔ mathtools
\def\Coloneqq{\dblcolon\mathrel{\kern-1.2mu}=} mathrel ⩴ ⩴ mathtools