eqcolon definiert