Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Suggestion: ≔ and ≝ #122
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.