added two new mappings: ":=" for "\coloneqq" and "::" for "\colon"