> On 24 Jul 2015, at 16:26, Hans Hagen <pra...@wxs.nl> wrote:
>
> On 7/24/2015 4:08 PM, Hans Aberg wrote:
>
>> I was thinking of just having the two, \colon and \ratio. Looking into some
>> books before electronic typesetting, the spacing of the latter can vary
>> widely: some do not use spaces at all. So a set might look
>> {x:x < a}
>> instead of
>> {x : x < a}
>> But that would be a typographical issue, rather than semantic.
>
> but we do need to deal with the typographic issue
Yes, that is what I meant, typographic adjustments on top.
> and unicode is not covering every symantic (otherwise we would have more)
It covers all standard symbols at the end of 1990s. Since then a number of
symbols have come into use. There was a discussion about that on the Unicode
list. Those using them might add them as well. But new characters are created,
so there is a need for accessing them as well.
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://tex.aanhet.net
archive : http://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___________________________________________________________________________________
