[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Punctuation

> `:=' 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.