I am no great typographer, but would it not be nice if the ≔ and ≝ are made much clearer? In fact, it would be nice if the =, ≔, ≠, ≡ and ≝ and the like are more looking like each other (at least in size or general appearance), yet still sufficiently different for recognition.