Re: [NTG-context] Colon as non-operator

2016-05-31 Thread Hans Hagen
On 5/31/2016 5:53 PM, Hans Åberg wrote: On 31 May 2016, at 17:04, Hans Hagen wrote: On 5/31/2016 4:18 PM, Hans Åberg wrote: It is possible to get the symbol : COLON U+003A to expand to \colon, instead of the ratio operator, as it is now? it's a commented option What

Re: [NTG-context] Colon as non-operator

2016-05-31 Thread Hans Åberg
> On 31 May 2016, at 17:04, Hans Hagen wrote: > > On 5/31/2016 4:18 PM, Hans Åberg wrote: >> It is possible to get the symbol : COLON U+003A to expand to \colon, instead >> of the ratio operator, as it is now? > it's a commented option What does that mean? > i.e. we decided

Re: [NTG-context] Colon as non-operator

2016-05-31 Thread Hans Hagen
On 5/31/2016 4:18 PM, Hans Åberg wrote: It is possible to get the symbol : COLON U+003A to expand to \colon, instead of the ratio operator, as it is now? The latter is rather rare in pure math, and in addition, it seems to have been reversed in the implementation with ∶ RATIO U+2236, cf.

[NTG-context] Colon as non-operator

2016-05-31 Thread Hans Åberg
It is possible to get the symbol : COLON U+003A to expand to \colon, instead of the ratio operator, as it is now? The latter is rather rare in pure math, and in addition, it seems to have been reversed in the implementation with ∶ RATIO U+2236, cf. example below. \setupbodyfont[xits,10pt]