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 and unicode is not covering every symantic (otherwise we would have more) Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | voip: 087 875 68 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------