&coloneq