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
> 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
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.
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]