[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
- To: email@example.com
- Subject: Re: Punctuation
- From: firstname.lastname@example.org (Jeremy Gibbons)
- Date: 13 Aug 1993 14:52:58 +1200
> `:=' and `=:' are good candidates for new glyphs, although you'd also
> need `::=' and `=::' for use with BNF.
Not convinced. The symbol ":=" for assignment was chosen (by the Algol
committee?) to be the closest available approximation (given the
inadvisability of using "<=", which ought to be "less than or equal to") to
a \Leftarrow. If you want it to look like a \Leftarrow, use a \Leftarrow;
otherwise, it should look like a colon followed by an equals. Ergo no need
for a separate glyph.