Documentclass post usepackage[utf8] inputenc usepackage mathtools get started doc Allow $ a: = b $ Enable $ a vcentcolon = b $ Allow $ a coloneqq b $ conclude doc $$ is TeX primitive syntax, which, as Other people have commented is hard to redefine (in common TeX there is https://gdblogaccount1.wixsite.com/flylatex