Documentclass post usepackage[utf8] inputenc usepackage mathtools commence doc Allow $ a: = b $ Let $ a vcentcolon = b $ Permit $ a coloneqq b $ conclusion doc $$ is TeX primitive syntax, which, as Other folks have commented is hard to redefine (in common TeX there is no https://flylatex.mystrikingly.com/